mikeshulman/catlog

Categorical logic from a categorical point of view

TeX

193 commits

updated Oct 19, 2023

README

Categorical logic from a categorical point of view

Working draft of expanded lecture notes. Comments and feedback are welcome. The file you want to compile is catlog.tex.

Contributors

190 commits

1 commits

1 commits

1 commits

Similar repos

awodey/CatLogNotes

Categorical Logic Notes

anton-trunov/coq-lecture-notes

Coq Lecture Notes (WIP)

abuseofnotation/category-theory-illustrated

A book about category theory

486

um-catlab/cubical-categorical-logic

Extensions to cubical for categorical logic/type theory

jonsterling/math

A mini-book on category theory. Superseded by https://github.com/jonsterling/forest

jaalonso/Lecturas_GLC

Readings on computational logic, interactive theorem proving and functional programming.

jespercockx/agda-lecture-notes

Agda lecture notes for the Functional Programming course at TU Delft

135

frenchy64/Logic-Starter

Starter Project for Introduction to Logic Programming with Clojure

221

Languages

TeX

97.9%

Agda

2.1%

mikeshulman/catlog

Categorical logic from a categorical point of view

TeX

193 commits

updated Oct 19, 2023

See the code

README

Categorical logic from a categorical point of view

Working draft of expanded lecture notes. Comments and feedback are welcome. The file you want to compile is catlog.tex.

Similar repos

awodey/CatLogNotes

Categorical Logic Notes

anton-trunov/coq-lecture-notes

Coq Lecture Notes (WIP)

abuseofnotation/category-theory-illustrated

A book about category theory

486

um-catlab/cubical-categorical-logic

Extensions to cubical for categorical logic/type theory

jonsterling/math

A mini-book on category theory. Superseded by https://github.com/jonsterling/forest

jaalonso/Lecturas_GLC

Readings on computational logic, interactive theorem proving and functional programming.

jespercockx/agda-lecture-notes

Agda lecture notes for the Functional Programming course at TU Delft

135

frenchy64/Logic-Starter

Starter Project for Introduction to Logic Programming with Clojure

221

Contributors

190 commits

1 commits

1 commits

1 commits

Languages

TeX

97.9%

Agda

2.1%