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:
sinhp/displayed_categories
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|