Show HN: I wrote a toy proof assistentgithub.com2 points·cjfd··0 commentsIt is an implementation of the Calculus of Constructions with a small set of axioms.Open articleSaveView on HN