remnient / lambda-sub
git clone https://github.com/remnient/lambda-sub.git
Rocq formalisation of the lambda calculus with partial substitutions
—
stars, 24h
—
stars, 7 days
+45
stars, 30 days · #15,098
45
★ total
1
forks · 0 open issues
Star history starts 2026-10-24; the chart appears after the second daily snapshot.
LanguageRocq Prover
License—
Created2026-10-15 (9d ago)
Last push8d ago
OwnerUser
Links
README
Loading README…