elpi

There are 4 repositories under elpi topic.

math-comp/hierarchy-builder
High level commands to declare a hierarchy based on packed classes
Language:Coq97 16 20323
math-comp/algebra-tactics
Ring, field, lra, nra, and psatz tactics for Mathematical Components
Language:Coq33 8 382
nguermond/local-set-theory
A tiny proof assistant for local set theory, in λ-Prolog.
Language:Prolog4 2 01
cpiemontese/tlc-elpi
Interactive theorem proving in ELPI
2 3 00