Coq Lecture Notes (WIP)
Coq
56
71 commits
updated Oct 17, 2020
66 commits
2 commits
1 commits
jespercockx/agda-lecture-notes
Agda lecture notes for the Functional Programming course at TU Delft
135
awodey/CatLogNotes
Categorical Logic Notes
81
blanchette/interactive_theorem_proving_2024
Files associated with the course Interactive Theorem Proving at LMU SoSe 2024
64
adamrk/llvm-ocaml-tutorial
The LLVM tutorial using OCaml
62
barry-jay-personal/tree-calculus
Proofs in Coq for the book Reflective Programs in Tree Calculus
205
DamilolaAdegunwa/ai_course
2
ChloeL19/RLVF
Reinforcement Learning from Verifier Feedback in Coq
1
SonSuss/CQA
0
71.6%
HTML
28.2%
