Formalizing Koszul Complex in LEAN
For API documentation, please visit https://mbkybky.github.io/KoszulComplex/docs/.
pelicanhere/KoszulComplex
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
Repository files navigation
Releases
No releases published
Languages
- Lean 72.8%
- TeX 13.3%
- HTML 8.8%
- Ruby 2.4%
- CSS 1.5%
- SCSS 0.6%
- Perl 0.6%