PeanoScript: TypeScript but It's a Theorem Prover

by jmillikin on 3/21/2025, 4:22:28 AM with 0 comments