GitHub repository: verse-lab/veil
Primary language: Lean
Created: 2025-02-01T09:20:49Z
Description: A verifier for automated and interactive proofs about transition systems.  This repository is a public mirror with stable development snapshots. Submit issues and PRs here.