[{"name":"lean-4.27.0","description":"Lean 4.27.0 with Mathlib"},{"name":"lean-4.28.0","description":"Lean 4.28.0 with Mathlib"},{"name":"rocq-9.1","description":"Rocq 9.1 with MathComp (ssreflect, algebra, field)"}]