Show HN: TypeScript as a proof assistant for intuitionistic propositional logic
(github.com)
TypeScript can be used just like a proof assistant (for intuitionistic propositional logic)!
TypeScript can be used just like a proof assistant (for intuitionistic propositional logic)!