discretion
Utilities for formalizing programming languages in Lean 4, along with other tidbits
1-1 of 1 packages depending on imbrem/discretion
Sort by
Package Name
imbrem/DeBruijnSSAuses
94b631bA formalization of SSA in Lean 4
discretion94b631b