GitHub repository: shamEiNew/formal-conjectures
Primary language: Lean
Description: A collection of formalized statements of conjectures in Lean.