= 27d567bc2d48d9f40e9ccc20ea370b15)
ciphergoth comments on Formalized math: dream vs reality - Less Wrong
You are viewing a comment permalink. View the original post to see all comments and the full post content.
= 783df68a0f980790206b9ea87794c5b6)
Loading…= b715d02e85f7b3b4ae65ca3d3e450868)
Subscribe to RSS Feed
Powered by Reddit
= f037147d6e6c911a85753b9abdedda8d)
You are viewing a comment permalink. View the original post to see all comments and the full post content.
Comments (9)
At one stage I had high hopes for Raph Levien's "ghilbert", which was a reworking of Metamath to iron out a couple of problems and make it easier to work on problems in a distributed, cooperative way, but now even its domain doesn't seem to work.
Metamath does seem to me closest to the ideal. I'm still trying to make sense of this stuff now.