A collection of formalized statements of conjectures in Lean