PeanoScript: TypeScript-like theorem prover

Name		Name	Last commit message	Last commit date
Latest commit History 20 Commits
app		app
public		public
.gitignore		.gitignore
.prettierrc		.prettierrc
README.md		README.md
eslint.config.mjs		eslint.config.mjs
next.config.ts		next.config.ts
package-lock.json		package-lock.json
package.json		package.json
postcss.config.mjs		postcss.config.mjs
tsconfig.json		tsconfig.json

Provide feedback