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

#formalmethods #javascript