Lean proofs, reproduction programs and frozen evidence behind a family of research papers
Lean Updated 2 days ago 1 commits 2 stars
quark-coder|Mirror: Sapientropic/H0mework (⭐2)
2 days agoAbout
Lean proofs, reproduction programs and frozen evidence behind a family of research papers
Readme
2 stars
1 forks