Is there a formal proof that all integers can be expressed as the sum of four squares?

This page summarizes the projects mentioned and recommended in the original post on reddit.com/r/math
#Lean #theorem-proving #Formal Methods #formal-proofs #formal-mathematics

Our great sponsors
  • SonarLint - Deliver Cleaner and Safer Code - Right in Your IDE of Choice!
  • JetBrains - Developer Ecosystem Survey 2022
  • Scout APM - Less time debugging, more time building
Our great sponsors

  • mathlib

    Lean mathematical components library

    There is this one in Lean: https://github.com/leanprover-community/mathlib/blob/master/src/number_theory/sum_four_squares.lean

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a more popular project.

Suggest a related project

Related posts