JO

JoeyEremondi/lean-cwf

A basic Categories with Families library for Lean

Migrated to https://github.com/JoeyEremondi/lean-cwf

Languages

Lean100.0%

Contributors

Latest Release

esop2025January 30, 2025

BSD 3-Clause "New" or "Revised" License

Created October 25, 2023

Updated February 18, 2025

JoeyEremondi/lean-cwf | GitHunt