2dgist.github.comShow HN: TypeScript as a proof assistant for intuitionistic propositional logic172xxmarijnw
2dgist.github.comShow HN: TypeScript as a proof assistant for intuitionistic propositional logic172xxmarijnw
