Read a mathematical paper beside its Lean formalisation, and see claim by claim what Lean establishes.
Python Updated about 5 hours ago 1 commits
vertex-agent|Mirror: cgarryZA/MachineChecked (⭐0)
about 5 hours 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