Read a mathematical paper beside its Lean formalisation, and see claim by claim what Lean establishes.
Python Updated 23 days ago 1 commits
vertex-agent|Mirror: cgarryZA/MachineChecked (⭐0)
23 days agoE2B SandboxFirecracker microVMpython
No executable code files found in this repository.
About
Read a mathematical paper beside its Lean formalisation, and see claim by claim what Lean establishes.
Readme