Module lean 

Aver → target language transpilation.

The codegen module transforms a type-checked Aver AST into source code for a target language. Current backends: Rust and Lean (WIP).

Functions

transpile

Transpile an Aver program to a Lean 4 project.