Implementing a Simple Proof Assistant and Type System (In Mathematica) (community.wolfram.com) 2 points by m_j_g 7y ago ↗ HN
0 comments
[ 2.7 ms ] story [ 11.4 ms ] threadNo comments yet.