Skip to main content

lean-catLogicDocumentation

Welcome!
Category Theory
Deduction
General-Purpose Tactics
Semantics

Semantics
Examples
Semantics of Monadic PPC

Semantics of Monadic PPC

Semantics of PPC

Categorical Logic

Notes
CMU Course Page

Lean

Main website
Community website
Zulip chat
mathlib documentation

lean-catLogic

Home
GitHub

Website by Jacob Neumann, 2023. Built with Docusaurus.