coq-elpi

Coq plugin embedding elpi

GitHub
136 stars
10 watching
50 forks
Language: Coq
last commit: 11 days ago
Linked from 2 awesome lists

coqextension-languagelambda-prologmetaprogrammingscripting

Backlinks from these awesome lists: