#
proof
Here are 8 public repositories matching this topic...
-
Updated
Feb 6, 2021 - Lean
Proofs from THE BOOK by Aigner and Ziegler proved in the Lean proving assistant
-
Updated
Jan 4, 2022 - Lean
Working through Theorem Proving in Lean4
-
Updated
Nov 29, 2024 - Lean
Contains the solution to the natural number game in lean 4
-
Updated
Sep 14, 2024 - Lean
A formal proof of the irrationality of sqrt(2) written in lean
-
Updated
Dec 4, 2019 - Lean
Examples and exercises from "Mathematics in Lean" - Jeremy Avigad & Patrick Massot
-
Updated
Mar 17, 2025 - Lean
Improve this page
Add a description, image, and links to the proof topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the proof topic, visit your repo's landing page and select "manage topics."