PeanoScript: TypeScript but It’s a Theorem Prover

Published: March 21, 2025

abstract-business-code-270348

Article URL: https://peanoscript.mjgrzymek.com/tutorial

Comments URL: https://news.ycombinator.com/item?id=43431829

Points: 1

# Comments: 0