from Hacker News

Implementing a Simple Proof Assistant and Type System (In Mathematica)

by m_j_g on 3/27/19, 4:00 PM with 0 comments