SinTan1729/comm_alg
1
0
Fork 0
mirror of https://github.com/GTBarkley/comm_alg.git synced 2025-02-05 13:22:33 -06:00
Code Issues Projects Releases Packages Wiki Activity
SLMath collaboration for adding Krull dimension and Hilbert polynomial to mathlib
5 commits 9 branches 0 tags 384 KiB
Lean 99%
Dockerfile 1%
Find a file
Andre 437ad08ebd fixed hilbertpoly
2023-06-14 01:37:10 -04:00
.docker/gitpod added gitpod files 2023-06-09 16:55:01 -07:00
comm_alg fixed hilbertpoly 2023-06-14 01:37:10 -04:00
.gitignore initial commit 2023-06-09 23:35:49 +00:00
CommAlg.lean test push 2023-06-10 00:21:01 +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