Skip to main content

lean-catLogicDocumentation

Welcome!
Category Theory
Deduction
General-Purpose Tactics
Semantics

Semantics
Constructions on Syntactic Categories

Constructions on Syntactic Categories

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.