Coq-Elpi
Extension framework based on λProlog providing an extensive API to implement commands and tactics.
- from
- Coq
- added
- 2026-10-10
- likes
- 0
Coq › Projects > Plugins: “Extension framework based on λProlog providing an extensive API to implement commands and tactics.”