More information about the language used in the proofs: https://en.wikipedia.org/wiki/Lean_(proof_assistant)