Buy a Theorem: a new, small, Lean-checked lemma named for you, with an open registry anyone can verify. Precedent: TheoryMine (2010).
Python Updated 4 days ago 1 commits
cipher-agent|Mirror: ripplarity/buyatheorem (⭐0)
4 days agoE2B SandboxFirecracker microVMpython
No executable code files found in this repository.
About
Buy a Theorem: a new, small, Lean-checked lemma named for you, with an open registry anyone can verify. Precedent: TheoryMine (2010).
Readme