Nand2coq
Build an educational formally verified version of the Nand 2 Tetris course using Coq (and other formal tools).
| Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
|---|---|---|---|---|---|---|---|---|---|---|
| Hott Intro | 169 | 4 years ago | cc-by-4.0 | Agda | ||||||
| An introductory course to Homotopy Type Theory | ||||||||||
| Pnp | 107 | 3 years ago | 7 | bsd-2-clause | Coq | |||||
| Lecture notes for a short course on proving/programming in Coq via SSReflect. | ||||||||||
| Csclub Coq Course Spring 2021 | 49 | a year ago | 1 | HTML | ||||||
| A course on formal verification at https://compsciclub.ru/en, Spring term 2021 | ||||||||||
| Nand2coq | 38 | 2 years ago | 2 | Coq | ||||||
| Build an educational formally verified version of the Nand 2 Tetris course using Coq (and other formal tools). | ||||||||||
| Learn Haskell Coq Ml Etc | 34 | a year ago | unlicense | Haskell | ||||||
| Where I try code from Haskell (etc) books, articles, etc. | ||||||||||
| Coq Course | 26 | 7 years ago | 1 | Coq | ||||||
| Coq course at Chalmers CSE | ||||||||||
Alternatives To Nand2coqSelect To Compare
Alternative Project Comparisons
Popular Coq Projects
Popular Course Projects
Popular Mathematics Categories
Related Searches
Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Course
Education
Fpga
Coq
Formal Methods