Reservoir
No results found
All Packages
stlc
Simply Typed Lambda Calculus with de Bruijn indices
Readme
Versions (1)
Dependencies (13)
Displaying
1-1
of
1
versions of
stlc
Sort by
Date
Not a part of any version track.
42e5caf
9 days ago
Released on October 25, 2024 at 12:19:21AM
Commit 42e5caf builds on its recent leanprover/lean4:v4.13.0-rc3
v4.13.0-rc3
1.1 MB
Build archive size: 1108290 bytes.
1
20