증명 보조기 관련 기사 1건을 모았습니다. 기사 12건이 모이면 이 주제의 검색에서 사이트 전체가 올라갑니다.
씨앗 · 1건 · 기준 문서 1
형식 증명은 논리 전개를 Lean 같은 언어의 코드로 써서 컴퓨터가 전 단계를 검사하게 한다
