SinTan1729
/
comm_alg
mirror of https://github.com/GTBarkley/comm_alg.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
SLMath collaboration for adding Krull dimension and Hilbert polynomial to mathlib
2 Commits 9 Branches 0 Tags 367 KiB
Lean 99%
Dockerfile 1%
Go to file
gbarkley 724c6e3009 added gitpod files 2023-06-09 16:55:01 -07:00
.docker/gitpod added gitpod files 2023-06-09 16:55:01 -07:00
.gitignore initial commit 2023-06-09 23:35:49 +00:00
CommAlg.lean initial commit 2023-06-09 23:35:49 +00:00
gitpod.yml added gitpod files 2023-06-09 16:55:01 -07:00
lake-manifest.json initial commit 2023-06-09 23:35:49 +00:00
lakefile.lean initial commit 2023-06-09 23:35:49 +00:00
lean-toolchain initial commit 2023-06-09 23:35:49 +00:00