Show HN: TypeScript as a proof assistant for intuitionistic propositional logic(https://gist.github.com/marijnvanwezel/6a0cd3e79ef5684ab671586c202cc4de)17 points|xxmarijnw|4 days ago|3 comments
