I made PeanoScript, an educational TypeScript-like theorem prover

Show HN: I made PeanoScript, an educational TypeScript-like theorem prover

I made PeanoScript, an educational TypeScript-like theorem prover is a company in show hn launch.

Profile

Hi HN, I made this with the idea that many people are somewhat familiar with TypeScript and first-order logic, so combining them could be a nice introduction to automated theorem proving. My CS freshman logic class woefully lacked an interactive code environmentIt's completely web-based so you can go ahead and try the interactive tutorial https://peanoscript.mjgrzymek.com/tutorial . Everything is explained on its own terms, so it should be readable if you just know programming.If you already know this kind of stuff and want a tldr, there is also a reference https://peanoscript.mjgrzymek.com/reference and playground https://peanoscript.mjgrzymek.com/playgroundThe code is out on GitHub https:/

Within the show hn launch space, the company focuses on its core offering rather than a broad product line.

Its current recorded stage is Show HN launch.

Website: peanoscript.mjgrzymek.com/tutorial