Tag: elpi
1 packages with this tag
« Back to VersTracker
|
All Categories
|
All Tags
|
Related:
rocq
proof-assistant
tactics
metaprogramming
coq
Package
Description
Version
rocq-elpi
☆
formula
Elpi extension language for Rocq