Reservoir
No results found
All Packages
DeBruijnSSA
A formalization of SSA in Lean 4
Readme
Versions (2)
Dependencies (10)
Transitive
Include transitive dependencies
Sort by
Require Order
Git dependency.
Found on Reservoir.
discretion
94b631b
Utilities for formalizing programming languages in Lean 4, along with other tidbits
Git dependency.
Found on Reservoir.
mathlib
b202b86
The math library of Lean 4
1
20