Hacker Next
Show HN: TypeScript as a proof assistant for intuitionistic propositional logicgist.github.com
17 points by xxmarijnw 3 days ago | 3 comments