gpt-lean

A repository of proof assistant problems for GPT-4 to attempt.

Name		Name	Last commit message	Last commit date
Latest commit History 23 Commits
coq		coq
coq_to_lean		coq_to_lean
itp_iterative_search_lm		itp_iterative_search_lm
lean4		lean4
textbooks		textbooks
.gitignore		.gitignore
LICENSE		LICENSE
README.md		README.md
leanpkg.toml		leanpkg.toml

Navigation Menu