Show HN: TypeScript as a proof assistant for intuitionistic propositional logicgist.github.com·17 pts·xxmarijnw·3