/discretion

Utilities for formalizing programming languages in Lean 4, along with other tidbits

Primary LanguageLeanBSD Zero Clause License0BSD

No issues in this repository yet.