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.6 ms ] story [ 9.6 ms ] threadNo comments yet.