Logic in computer science lecture notes
About the course
1. First steps with Agda
2. Dependent types
3. Dependent sums and records
4. Records as structures
5. Logic
6. Propositions as types
repository
Index