coq-simple-io

IO for Gallina

GitHub
30 stars
4 watching
5 forks
Language: Coq
last commit: 17 days ago
Linked from 2 awesome lists

coqextractionocaml

Backlinks from these awesome lists: