(2차) Git 활용 및 Lean
멘토 | 차불휘 |
---|---|
분야 | (공통) Git 심화 / (개별) 정리 증명 |
활용 언어 | Lean |
활용 기술 | (공통) Git / (개별) Lean |
저장소 | https://github.com/leanprover/lean4 https://github.com/leanprover/theorem_proving_in_lean4 https://github.com/leanprover-community/lean4game |
난이도 |
참가자 모집 유형 | 오픈소스 프로젝트 참여 확산 및 기여에 관심이 있는 예비 및 초급 개발자 |
---|