Geeks
adri326
/
rubin-lean4
Proof of Rubin's theorem, written in Lean 4
Primary Language
Lean
rubin-lean4 GitHub
Markdown
Readme
0
Issues
3
Stargazers
2
Watchers
Stargazers
alreadydone
Heidelberg / Shenzhen
utensil