Open Algo2Lean · Earlier versions