VeriInfra-Lab / VeriTile
git clone https://github.com/VeriInfra-Lab/VeriTile.git
Lean 4 framework for reasoning about Triton-style kernels.
+0
stars, 24h · #31,728
+~0
stars, 7 days · #32,203
+29
stars, 30 days · #21,146
29
★ total
5
forks · 3 open issues
Star history (as recorded here)
LanguageLean
LicenseMIT
Created2026-09-24 (28d ago)
Last push7d ago
OwnerOrganization