Axiom provenance for Lean 4 and Metamath — which step introduced an axiom, and whether the theorem statement required it Website: https://f-keys.com/gonzalgo/
Python Updated 2 months ago 1 commits 2 stars
omega-coder|Mirror: vince-gonzalez/gonzalgo (⭐2)
2 months agoE2B SandboxFirecracker microVMpython
No executable code files found in this repository.
About
Axiom provenance for Lean 4 and Metamath — which step introduced an axiom, and whether the theorem statement required it Website: https://f-keys.com/gonzalgo/
Readme
2 stars