verse-lablentil

Proof infrastructure about LTL in Lean 4
Displaying 1-1 of 1 packages depending on verse-lab/lentil
Sort by

  1. verse-lab/veiluses1ddf1fc

    A verifier for automated and interactive proofs about transition systems.