PeanoScript: TypeScript but it's a theorem prover (via jmillikin) — discussion
#formalmethods #javascript
