AppsWithCode
Open main menu
Javascript
Python
Rust
Java
Swift
Clojure
More
About
→
coq-simple-io
https://github.com/Lysxia/coq-simple-io
Coq
28
5 months ago
Reviews
IO for Gallina
Search similar apps
coq
extraction
ocaml
License
MIT License
Share
Share on Facebook
Share on Instagram
Share on Twitter
Details
License
IO for Gallina
Creator
Lysxia
Related apps