metacoq
https://github.com/metacoq/metacoq
Coq
Metaprogramming in Coq
Triage Issues!
When you volunteer to triage issues, you'll receive an email each day with a link to an open issue that needs help in this project. You'll also receive instructions on how to triage issues.
Triage Docs!
Receive a documented method or class from your favorite GitHub repos in your inbox every day. If you're really pro, receive undocumented methods or classes and supercharge your commit history.
Coq not yet supported0 Subscribers
Add a CodeTriage badge to metacoq
Help out
- Issues
- Remove useless calls to Eval vm_compute.
- Take relevance into account for typing
- Anomaly as a result of extraction in CertiCoq (assertion fails in ml code)
- Bump cachix/install-nix-action from 25 to 26
- coq-8.17 branch no longer builds on ocaml 4.11.2
- MetaCoq is missing `Hint Opaque`
- Should default branch be coq-8.18 or main?
- Add PCUICAstUtils.decompose_app_cps
- Only run nix on push events and if the word is in the commit message
- Add StateT Monad Transformer
- Docs
- Coq not yet supported