[–] whitten 11y ago ↗ This 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 would impact his effort ?
1 comment
[ 3.7 ms ] story [ 9.2 ms ] threadI wonder how resources like http://www.mizar.org would impact his effort ?