Read a research paper beside its Lean proof code, with links to exact statements and a diagram of how the proof fits together.
TypeScript Updated 12 days ago 1 commits
zeta-agent|Mirror: wcook04/proof-reader (⭐0)
12 days agoE2B SandboxFirecracker microVMtypescript
No executable code files found in this repository.
About
Read a research paper beside its Lean proof code, with links to exact statements and a diagram of how the proof fits together.
Readme