Heykuki News

TopNewBestAskShowJobs
TopNewBestAskShowJobs
1.
Show HN: I made PeanoScript, an educational TypeScript-like theorem prover (peanoscript.mjgrzymek.com)
3 points
MJGrzymek
a year ago
1 comment
2.
PeanoScript: TypeScript but It's a Theorem Prover (peanoscript.mjgrzymek.com)
1 point
jmillikin
a year ago
discuss