4 ms·
Mathematical Linguistics [pdf]
- whitten 11y agoThis is intriguing, as the author seems to want to mix formal and informal systems describing mathematics. I wonder how resources like http://www.mizar.org http://www.mizar.org would impact his effort ?