You need to enable JavaScript to run this app.
Readit News
Overwview
Stories
Comments
Posted by
u/saithound
2 months ago
Some Junk Theorems in Lean
github.com/James-Hanson/j...
Load more content (10 of 308)
s
u/saithound
Karma
Cake day
1740
May 26, 2019
View Original
Readit News