keilambdaeocia-lean

Essentials of Compilation: An Incremental Approach in Lean 4
No README.md in repository.