ordinal-notation

This repository is under construction. Come back later!

Name		Name	Last commit message	Last commit date
Latest commit History 90 Commits
OrdinalNotation		OrdinalNotation
.gitignore		.gitignore
OrdinalNotation.lean		OrdinalNotation.lean
README.md		README.md
lake-manifest.json		lake-manifest.json
lakefile.toml		lakefile.toml
lean-toolchain		lean-toolchain

Provide feedback