On formalized proof in the Lean proof assistant:
Created on August 2, 2023 at 13:20:57. See the history of this page for a list of all contributions to it.