| achlipala/frap |
592 |
|
0 |
0 |
almost 3 years ago |
0 |
|
3 |
other |
Coq |
| Formal Reasoning About Programs |
| EgbertRijke/HoTT-Intro |
169 |
|
0 |
0 |
over 5 years ago |
0 |
|
0 |
cc-by-4.0 |
Agda |
| An introductory course to Homotopy Type Theory |
| coq-community/coq-art |
95 |
|
0 |
0 |
over 2 years ago |
0 |
|
2 |
mit |
Coq |
| Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran] |
| 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. |
| coq-community/gaia |
24 |
|
0 |
0 |
over 2 years ago |
0 |
|
0 |
mit |
Coq |
| Implementation of books from Bourbaki's Elements of Mathematics in Coq [maintainer=@thery] |
| Javran/Thinking-dumps |
22 |
|
0 |
0 |
almost 5 years ago |
0 |
|
1 |
|
Coq |
| This repo keeps track of my codes, answers and thinkings when exploring books. |
| wkolowski/Typonomikon |
11 |
|
0 |
0 |
over 2 years ago |
0 |
|
0 |
|
Coq |
| Źródła mojej książki o Coqu, programowaniu funkcyjnym, teorii typów, logice konstruktywnej i innych takich. |
| bor0/misc |
6 |
|
0 |
0 |
over 2 years ago |
0 |
|
0 |
|
C |
| Misc playground and random stuff |
| sftypes/software-foundations |
5 |
|
0 |
0 |
about 10 years ago |
0 |
|
0 |
|
Coq |
| Coq proofs of exercises in Pierce's book |
