leodemoura.github.io에서 온 글

1. Lean 증명 도구가 여러 검사기로 결과를 다시 확인하는 기능을 추가했다 ↗(leodemoura.github.io)

   요약Lean은 수학 증명과 프로그램의 정확성을 기계가 검사하는 증명 도구다. 이 글에 따르면 Lean v4.35.0에 lake check 명령이 들어가, 작업물을 내보낸 뒤 공식 검사기 leanchecker로 다시 검사할 수 있다. 전 과정은 기본적으로 샌드박스 안에서 실행된다. lake check --paranoid 옵션을 쓰면 nanoda, lean4le…

   startupxo 3일 전요약토론하기

숨긴 글을 제외하면 이 페이지에 남은 글이 없습니다.