Implementing a Simple Proof Assistant and Type System (In Mathematica)community.wolfram.com2 points·m_j_g··0 commentsOpen articleSaveView on HN