ltac2

Here are 5 public repositories matching this topic...

Ltac2 tutorial

coq ltac2

OCaml as a Tactic Language for the Rocq Prover

ocaml ltac2 rocq rocq-prover

All the code I've ever written in Ltac2

coq ltac2

A simple Ltac2 tutorial that covers the very basics.

tutorial coq ltac2

Complete solver for strict orders (transitive+irreflexive relations) for Rocq

solver ltac2 rocq strict-order

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