Show HN: I made PeanoScript, an educational TypeScript-like theorem prover
by MJGrzymek on 3/22/2025, 7:49:06 PM
You can also see my post on reddit where I answer some questions https://www.reddit.com/r/ProgrammingLanguages/comments/1jfxj...
You can also see my post on reddit where I answer some questions https://www.reddit.com/r/ProgrammingLanguages/comments/1jfxj...