This project is an attempt at a Lean 4 formalisation of relative monads for the doctorate course Formalized mathematics and proof assistants taught in the Fall semester of 2024 by Pr. Andrej Bauer at the University of Ljubljana.
Chaaaos/RelativeMonads
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|