GitHub topics: elpi
math-comp/algebra-tactics
Ring, field, lra, nra, and psatz tactics for Mathematical Components
Language: Rocq Prover - Size: 365 KB - Last synced at: 2 days ago - Pushed at: 2 days ago - Stars: 35 - Forks: 4
math-comp/hierarchy-builder
High level commands to declare a hierarchy based on packed classes
Language: Rocq Prover - Size: 10.5 MB - Last synced at: 1 day ago - Pushed at: 5 days ago - Stars: 101 - Forks: 25
nguermond/local-set-theory
A tiny proof assistant for local set theory, in λ-Prolog.
Language: Prolog - Size: 41 KB - Last synced at: over 2 years ago - Pushed at: over 4 years ago - Stars: 1 - Forks: 0
cpiemontese/tlc-elpi
Interactive theorem proving in ELPI
Size: 344 KB - Last synced at: over 2 years ago - Pushed at: almost 7 years ago - Stars: 2 - Forks: 0
