OpenProver, Lean 4 검증형 Planner·Worker·Verifier 정리 증명 시스템 공개
OpenProver는 Planner·Worker·Verifier 구조, Lean 4 형식 검증과 사람이 탐색을 조정하는 터미널 인터페이스를 오픈소스로 공개했다.
[태그:] 자동 정리 증명
OpenProver는 Planner·Worker·Verifier 구조, Lean 4 형식 검증과 사람이 탐색을 조정하는 터미널 인터페이스를 오픈소스로 공개했다.
