| EgbertRijke/HoTT-Intro |
169 |
|
0 |
0 |
over 5 years ago |
0 |
|
0 |
cc-by-4.0 |
Agda |
| An introductory course to Homotopy Type Theory |
| ilyasergey/pnp |
107 |
|
0 |
0 |
almost 5 years ago |
0 |
|
7 |
bsd-2-clause |
Coq |
| Lecture notes for a short course on proving/programming in Coq via SSReflect. |
| anton-trunov/csclub-coq-course-spring-2021 |
49 |
|
0 |
0 |
about 3 years ago |
0 |
|
1 |
|
HTML |
| A course on formal verification at https://compsciclub.ru/en, Spring term 2021 |
| philzook58/nand2coq |
38 |
|
0 |
0 |
over 4 years ago |
0 |
|
2 |
|
Coq |
| Build an educational formally verified version of the Nand 2 Tetris course using Coq (and other formal tools). |
| haroldcarr/learn-haskell-coq-ml-etc |
34 |
|
0 |
0 |
almost 3 years ago |
0 |
|
0 |
unlicense |
Haskell |
| Where I try code from Haskell (etc) books, articles, etc. |
| vlopezj/coq-course |
26 |
|
0 |
0 |
almost 9 years ago |
0 |
|
1 |
|
Coq |
| Coq course at Chalmers CSE |
