discu
Newsletters
Mentions
Extension
Pricing
Login
Sign Up
Lobsters
Explaining formal proofs
http://boxbase.org/entries/2019/apr/15/explaining-formal-proofs/
10 comments
15/4/2019
formalmethods , plt
Reddit
Peter Scholze has written a guest post for Xena project, posing a challenge to formalize a proof and explaining the background and his interest in it
https://xenaproject.wordpress.com/2020/12/05/liquid-tensor-experiment/
33 comments
5/12/2020
math