Rare find

veil. A verifier for automated and interactive proofs about transition systems.

github.com/verse-lab/veil

Problem

Audience

Updates

No founder updates yet. Check back soon.