Name		Name	Last commit message	Last commit date
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

Repository files navigation

PeanoScript: TypeScript-like theorem prover

About

TypeScript-like theorem prover

peanoscript.mjgrzymek.com/

45 stars

1 watching

Report repository

Releases

Packages

Used by

Contributors

Languages