search

PatrickMassot / leanblueprint

plasTeX plugin to build formalization blueprints.
Apache License 2.0
158 stars 25 forks source link

Add FLT3 #19

Closed pitmonticone closed 5 months ago

pitmonticone commented 5 months ago

This PR add Fermat's Last Theorem for Exponent 3 to the list of blueprints.

Thank you very much for the development and maintenance of this great tool!