A formalization of Buffon's Needle in Lean 4.
- The file
Rewrite.leancontains the theoremsbuffons_shortandbuffons_long, which are the easy and hard case respectively of the problem.
enricozb/buffon-lean
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|