Reservoir
No results found
All Packages
discretion
Utilities for formalizing programming languages in Lean 4, along with other tidbits
Readme
Versions (1)
Dependencies (9)
Dependents (1)
Displaying
1-1
of
1
packages depending on
imbrem/discretion
Sort by
Package Name
imbrem/DeBruijnSSA
uses
94b631b
A formalization of SSA in Lean 4
1
20