Login
Home
Users
Spaces
Query
Publish
<
terms
Content
Explore
Independent Lean 4 formalization (pythagoras4) of the Pythagorean theorem
https://w3id.org/np/RACB5B7C3N2NTXECAuKYCV8PQgMXPpGZYwUDRii5KoZzQ
⧉
copy
Status:
