elpi

Here are 4 public repositories matching this topic...

High level commands to declare a hierarchy based on packed classes

coq mathcomp elpi

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

coq proof-automation ssreflect mathcomp elpi

Interactive theorem proving in ELPI

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

proof-assistant logic-programming elpi

Add a description, image, and links to the elpi topic page so that developers can more easily learn about it.

To associate your repository with the elpi topic, visit your repo's landing page and select "manage topics."