Open Algo2Lean · Compiler versions