elpi topic
List
elpi repositories
hierarchy-builder
92
Stars
19
Forks
Watchers
High level commands to declare a hierarchy based on packed classes
algebra-tactics
29
Stars
1
Forks
Watchers
Ring, field, lra, nra, and psatz tactics for Mathematical Components