Verso — Written in Lean, checked by Lean