TrendingRisingGemsRadarToolboxCategories

Repository

verse-lab/veil

A verifier for automated and interactive proofs about transition systems.

Open source Other LeanApache-2.0

Stars

341

Today

+0

last 24 hours

This week

+7

Forks

29

Clone

git clone https://github.com/verse-lab/veil.git

Star growth

2026-10-17: +72026-10-18: +0 (today so far)2026-10-17todaymax +7/day
Stars gained per day. Tracking since 2026-10-17; the lighter bar is today so far.
#lean#proof-assistant#smt#verification
Created
2025-02-01
Last commit
2026-10-17
Gained since tracking
+7

Similar in Other

Updated Sun, 18 Oct 2026 15:32:30 GMT · description from the project itself