hahn

Hahn: A Coq library

GitHub
29 stars
5 watching
15 forks
Language: Coq
last commit: 3 months ago
Linked from 2 awesome lists

coq-library

Backlinks from these awesome lists: