TwoFX/cats
1
1
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
No description
2 commits 1 branch 0 tags 32 KiB
  • Lean 100%
Find a file
Exact
Markus Himmel 1415e3c44a Update readme
2025-02-26 16:24:47 +01:00
.github/workflows Initial commit 2025-02-26 15:54:47 +01:00
Cats Initial commit 2025-02-26 15:54:47 +01:00
.gitignore Initial commit 2025-02-26 15:54:47 +01:00
Cats.lean Initial commit 2025-02-26 15:54:47 +01:00
lake-manifest.json Initial commit 2025-02-26 15:54:47 +01:00
lakefile.toml Initial commit 2025-02-26 15:54:47 +01:00
lean-toolchain Initial commit 2025-02-26 15:54:47 +01:00
LICENSE Initial commit 2025-02-26 15:54:47 +01:00
README.md Update readme 2025-02-26 16:24:47 +01:00

README.md

This is a place for code that is not yet ready to enter mathlib, but more importantly, this repository hosts the issues for my public TODO list.