arithmetics

This Lean4 package aims to formalize various results about weak arithmetics.

Name		Name	Last commit message	Last commit date
Latest commit History 27 Commits
Arithmetics		Arithmetics
.gitignore		.gitignore
Arithmetics.lean		Arithmetics.lean
README.md		README.md
lake-manifest.json		lake-manifest.json
lakefile.lean		lakefile.lean
lean-toolchain		lean-toolchain

Provide feedback