formal_conjectures
A collection of formalized statements of conjectures in Lean.
1-8 of 8 versions of formal_conjectures
Sort by
Date
afc605bv4.22.0952798fv4.22.0v4.22.0044be64v4.21.0v4.21.003cd321v4.20.1v4.20.1d3d568cv4.19.0v4.19.0885b3f2v4.18.0v4.18.0ee57c14v4.17.0v4.17.0b8f0110v4.14.0v4.14.0