Login
Home
Users
Spaces
Query
Publish
<
wizard
Content
Explore
Lean 4 Mathlib formalization of the Pythagorean theorem
https://w3id.org/np/RAoekRBLxdNKjYD2dIgqZk4RtGdf76LE8ncIbXSgKmO4Q
⧉
copy
Status:
