AppsWithCode
Open main menu
Javascript
Python
Rust
Java
Swift
Clojure
More
About
→
metacoq
https://github.com/MetaCoq/metacoq
Coq
311
5 months ago
Reviews
Metaprogramming in Coq
Search similar apps
coq
coq-formalization
metaprogramming
License
MIT License
Share
Share on Facebook
Share on Instagram
Share on Twitter
Details
License
Metaprogramming in Coq
Creator
MetaCoq
Related apps