veil-usage-example

This repository is an example project that uses Veil, a framework for automated and interactive verification of transition systems embedded in Lean 4.

Using veil

To use veil in your project, add the following to your lakefile.lean:

require "verse-lab" / "veil" @ git "main"

Or add the following to your lakefile.toml:

[[require]]
name = "veil"
git = "https://github.com/verse-lab/veil.git"
rev = "main"