This repository is a Lean 4 formalization of the theory of Displayed Categories. The work here is an improvement of the previous formalization from the following repository from 2024:
Raph-DG/displayed_categories
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
Repository files navigation
Releases
No releases published
Languages
- Lean 77.9%
- TeX 15.4%
- HTML 4.2%
- Ruby 1.2%
- CSS 0.7%
- SCSS 0.3%
- Perl 0.3%