thejohncrafter/Catlib4

Lean 4 library heavily focused on category theory and theoretical computer science

This repository is not active