Show HN: TypeScript as a proof assistant for intuitionistic propositional logic https://ift.tt/x7YNljL

March 31, 2025 0
Show HN: TypeScript as a proof assistant for intuitionistic propositional logic https://ift.tt/fh0YC4u March 31, 2025 at 10:52PM
Tags:

No comments

Subscribe to: Post Comments ( Atom )
Powered by Blogger.