| File | Mode | Size |
|---|---|---|
| .vscode | ||
| arxiv | ||
| src | ||
| .gitignore | -rw-r--r-- | 209 bytes |
| CHANGELOG-lipics.md | -rw-r--r-- | 5.7 KB |
| FiniteClassGroup.pdf | -rw-r--r-- | 215.2 KB |
| FiniteClassGroup.tex | -rw-r--r-- | 23.0 KB |
| LICENSE-lipics.md | -rw-r--r-- | 18.7 KB |
| cc-by.pdf | -rw-r--r-- | 57.0 KB |
| class-number.tex | -rw-r--r-- | 94.6 KB |
| copy-relevant-files | -rw-r--r-- | 610 bytes |
| fontawesome5-generic-helper.sty | -rw-r--r-- | 1.8 KB |
| fontawesome5-mapping.def | -rw-r--r-- | 103.8 KB |
| fontawesome5-utex-helper.sty | -rw-r--r-- | 5.1 KB |
| fontawesome5.lua | -rw-r--r-- | 1.8 KB |
| fontawesome5.sty | -rw-r--r-- | 7.3 KB |
| lean.bib | -rw-r--r-- | 11.3 KB |
| leanpkg.toml | -rw-r--r-- | 245 bytes |
| lipics-logo-bw.pdf | -rw-r--r-- | 81.6 KB |
| lipics-v2021-authors-guidelines.pdf | -rw-r--r-- | 858.3 KB |
| lipics-v2021-sample-article.bib | -rw-r--r-- | 2.4 KB |
| lipics-v2021-sample-article.pdf | -rw-r--r-- | 573.6 KB |
| lipics-v2021-sample-article.tex | -rw-r--r-- | 21.0 KB |
| lipics-v2021.cls | -rw-r--r-- | 45.8 KB |
| lstlean.tex | -rw-r--r-- | 8.4 KB |
| orcid.pdf | -rw-r--r-- | 86.6 KB |
| readme.md | -rw-r--r-- | 5.5 KB |
