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