I made PeanoScript, an educational TypeScript-like theorem prover for first-order logic + Peano arithmetic

PeanoScript: TypeScript but it's a theorem prover