Tree @master (Download .tar.gz)
Repositories.md @master — view markup · raw · history · blame
Coq Repos
JasonGross/coq-union-find: A repository for playing with union-find in Coq
- url: https://github.com/JasonGross/coq-union-find
- license: MIT
.
codyroux/tinymatch: A teeny language with nats, lists and pattern matching, static and dynamic semantics and a proof of progress and preservation.
- url: https://github.com/codyroux/tinymatch
- license: Apache-2.0
- topics: Coq, Programming Languages
.
plclub/hs-to-coq: Convert Haskell source code to Coq source code.
- url: https://github.com/plclub/hs-to-coq
- license: MIT
- topics: Coq, Haskell
.
Ana de Almeida Borges / Coq formalization of QRC1 ยท GitLab
- url: https://gitlab.com/ana-borges/QRC1-Coq
- license: MPL-2.0
.