imbremdiscretion

Utilities for formalizing programming languages in Lean 4, along with other tidbits
No README.md in repository.