Verified Systems Engineering Lab

Pinned Loading

1. velvet velvet Public

   An auto-active program verifier in Lean

   Lean 134 13

2. veil veil Public

   A verifier for automated and interactive proofs about transition systems.

   Lean 346 30

3. veil-usage-example veil-usage-example Public template

   A template repository with an example of using Veil verifier as a Lean library.

   Lean 4

4. splean splean Public

   Separation Logic Proofs in Lean

   Lean 57 6