Tildes
Sidebar
~science
Log in
Activity
Votes
Comments
New
All activity
from
last 1 hour
last 12 hours
last 24 hours
last 3 days
last 7 days
all time
other period
OK
Showing only topics in
~science
with the tag "wordpress.xena".
Back to normal view
/
Search all groups
“…and the proof is checked in Lean”
mathematics
Article
1859 words
27
votes
Human mathematicians are being outcounterexampled
mathematics
Article
2249 words
37
votes
Formalizing Fermat’s Last Theorem - How it’s going
mathematics
Article
1574 words
4
votes
Division by zero in type theory: a FAQ
mathematics
Article
1322 words
4
votes