elpi

There are 0 repository under elpi topic.

• math-comp / hierarchy-builder

  High level commands to declare a hierarchy based on packed classes

  mathcompcoqelpi
  Language:Prolog 92

• math-comp / algebra-tactics

  Ring, field, lra, nra, and psatz tactics for Mathematical Components

  coqproof-automationssreflectmathcompelpi
  Language:Coq 29

• cpiemontese / tlc-elpi

  Interactive theorem proving in ELPI

  lambda-calculuslambda-prologtyped-lambda-calculuselpiinteractive-theorem-proving
  2

• nguermond / local-set-theory

  A tiny proof assistant for local set theory, in λ-Prolog.

  logic-programmingelpiproof-assistant
  Language:Prolog 2