Skip to main content

lean-catLogicDocumentation

Welcome!
Category Theory
Deduction
General-Purpose Tactics
Semantics

Semantics
Constructions on Syntactic Posets (LT Algebra)

Constructions on Syntactic Posets (LT Algebra)

Syntactic Posets

Syntactic Categories

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.