RelativeMonads

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.

Name		Name	Last commit message	Last commit date
.github/workflows		.github/workflows
RelativeMonads		RelativeMonads
blueprint		blueprint
home_page		home_page
.gitignore		.gitignore
LICENSE		LICENSE
README.md		README.md
RelativeMonads.lean		RelativeMonads.lean
lake-manifest.json		lake-manifest.json
lakefile.lean		lakefile.lean
lean-toolchain		lean-toolchain

Navigation Menu

Repository files navigation

RelativeMonads

About

Releases

Packages

Contributors

Languages

Latest commit

History

Folders and files

Repository files navigation

RelativeMonads

About

Resources

Stars

Watchers

Forks

Releases

Packages

Contributors

Languages