Show HN: TypeScript as a proof assistant for intuitionistic propositional logic 17 points by xxmarijnw 1 days ago 1 comments story
Hacker News