upvote

points

by zeroonetwothree23 hours ago |
comments
upvoteby tootie23 hours ago|
[-]
Note that these are all preprints. None are verified.
reply
upvoteby FuckButtons20 hours ago|
parent|
[-]
Other than the by the lean certificate you mean.
reply
upvoteby jaykru19 hours ago|
parent|
next
[-]
many of these are not accompanied with leanslop
reply
upvoteby measurablefunc19 hours ago|
parent|
prev|
[-]
Lean has bugs & proofs of ⊥ that have gone undetected previously.
reply