4 ms·Show HN: I wrote a toy proof assistent2 points by cjfd 2y agoIt is an implementation of the Calculus of Constructions with a small set of axioms.