ilyasergey / vermilion
git clone https://github.com/ilyasergey/vermilion.git
Vermilion: Verus meets Lean
+0
stars, 24h · #30,040
+~2
stars, 7 days · #27,913
+~8
stars, 30 days · #31,867
62
★ total · +2% this week
4
forks · 33 open issues
Star history (as recorded here)
LanguageLean
LicenseApache-2.0
Created2026-08-20 (2mo ago)
Last push6d ago
OwnerUser
Links
README
Loading README…