본문 바로가기

(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
난이도
참가자 모집 유형

오픈소스 프로젝트 참여 확산 및 기여에 관심이 있는 예비 및 초급 개발자

프로젝트 소개

맨 위로
맨 위로