being the materials for Summer 2013's course
114
73 commits
updated Apr 25, 2023
71 commits
1 commits
liamoc/learn-you-an-agda
Learn you an Agda (and achieve enlightenment)
315
jespercockx/agda-lecture-notes
Agda lecture notes for the Functional Programming course at TU Delft
135
LaconicPneumonic/RagClass
3
anuyts/agda-sessions
Learn the Agda basics in three 2-hour sessions.
60
blanchette/interactive_theorem_proving_2024
Files associated with the course Interactive Theorem Proving at LMU SoSe 2024
64
anton-trunov/coq-lecture-notes
Coq Lecture Notes (WIP)
56
Sitgttish/summer26
0
DamilolaAdegunwa/ai_course
2
