sunblaze-ucb/vero

Our verdict: not recommended

The repository focuses on verified code generation in Lean 4, which is outside the scope of the engineer's current work.