GitHub repository: mjgrzymek/PeanoScript
Primary language: TypeScript
Created: 2025-03-19T22:01:32Z
Description: TypeScript-like theorem prover