Reservoir
No results found
All Packages
Stlc_deBruijn
Simply Typed Lambda Calculus with de Bruijn indices
Readme
Versions (1)
Dependencies (5)
Displaying
1-1
of
1
versions of
Stlc_deBruijn
Sort by
Date
Not a part of any version track.
dbac012
4 months ago
Released on May 22, 2024 at 7:31:19AM
Commit dbac012 builds on its old leanprover/lean4:nightly-2023-06-10
nightly-2023-06-10
1
20