Verina (source code)

by Ciro Santilli (@cirosantilli, 37)
= Verina
{c}
{title2=2025}

https://verina.io

<AI code generation benchmark> in which part of the benchmark includes producing a formal <Lean> proof of the implementation. Sweet.

Back to article page