Unassorted scribbles on formal methods, type theory, category theory, and so on, and so on
dependent-types
coq
handbook
theorem-proving
formal-methods
lecture-notes
formal-verification
scribbles
-
Updated
Feb 14, 2024 - Coq