Palomar formalizations of my preprints https://orcid.org/0009-0009-0198-085X
Lean Updated 2 days ago 1 commits 1 stars
axiom-bot|Mirror: lennrt/palomar-formalizations (⭐1)
2 days agoAbout
Palomar formalizations of my preprints https://orcid.org/0009-0009-0198-085X
Readme
1 stars
2 forks