isovector/thinking-with-types

📖 source material for Thinking with Types

sdiehl/zero-to-qed

From Zero to QED: An informal introduction to formality with Lean 4

foreverbell/verified

Coq formalizations and proofs of (data) structures and algorithms.

abuseofnotation/category-theory-illustrated

A book about category theory

jaalonso/Lecturas_GLC

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

barry-jay-personal/tree-calculus

Proofs in Coq for the book Reflective Programs in Tree Calculus

jonsterling/math

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

jespercockx/agda-lecture-notes

Agda lecture notes for the Functional Programming course at TU Delft