verse-lab/veil

A verifier for automated and interactive proofs about transition systems.

语言：Lean · GitHub 星标：349 · Fork：30

话题：lean · proof-assistant · smt · verification

在 GitHub 上查看原仓库