Mathdialog.com allows follow and build formal mathematics in a natural way.
On one side Mathdialog allows you follow formal proofs in a natural, interesting and even funny way. On the other way you can build formal version of natural proof to allow other follow them in a natural way
natural proofs, formal proofs, natural deduction, set theory, ZFC, Foundations of mathematics, Bourbaki, Isabelle, Coq, philosophy of mathematics, Higher Education in Mathematical, learning higher mathematics, principia mathematica
Is this your site? Certify your site and update informations
