PeanoScript: TypeScript but It's a Theorem Proverpeanoscript.mjgrzymek.com1 point·jmillikin··0 commentsOpen articleSaveView on HN