Show HN: TypeScript as a proof assistant for intuitionistic propositional logicgist.github.com17 pointsxxmarijnwa year ago