A collection of formalized statements of conjectures in Lean github.com 2 points by EvgeniyZh 3 days ago