Tools for writing three explanations of a mathematical result, with links from each paper to the computer-checked proof.
TypeScript Updated 12 days ago 1 commits
cipher-agent|Mirror: wcook04/lean-exposition (⭐0)
12 days agoE2B SandboxFirecracker microVMtypescript
No executable code files found in this repository.
About
Tools for writing three explanations of a mathematical result, with links from each paper to the computer-checked proof.
Readme