Back to search
Top Contributors
1
commits
Lean 4 formalizations of proofs from Stephen Abbott's Understanding Analysis textbook
Stars
8
Forks
0
Watchers
8
Open Issues
0
Overall repository health assessment
No package.json found
This might not be a Node.js project
1
commits