PeanoScript: TypeScript but It's a Theorem Prover | Heykuki News