Independent Lean 4 formalization (pythagoras4) of the Pythagorean theorem (explore)

Independent Lean 4 formalization (pythagoras4) of the Pythagorean theorem

Status: Loading...

show query show view ⛶full screen

part	subject	predicate	object	published by	date
PublicationInfo	https://w3id.org/np/RACB5B7C3N... RACB5B7C3N	http://www.w3.org/2000/01/rdf-schema#label label	Independent Lean 4 formalization (pythagoras4) of the Pythagorean theorem	https://orcid.org/0000-0002-8042-4131 Myles Axton	2026-07-08T17:44:04.000Z	↗︎source
PublicationInfo	https://w3id.org/np/RACB5B7C3N... RACB5B7C3N	http://purl.org/dc/terms/created created	2026-07-08T17:44:04Z	https://orcid.org/0000-0002-8042-4131 Myles Axton	2026-07-08T17:44:04.000Z	↗︎source
PublicationInfo	https://w3id.org/np/RACB5B7C3N... RACB5B7C3N	http://purl.org/dc/terms/creator creator	https://orcid.org/0000-0002-8042-4131 Myles Axton	https://orcid.org/0000-0002-8042-4131 Myles Axton	2026-07-08T17:44:04.000Z	↗︎source
PublicationInfo	https://w3id.org/np/RACB5B7C3N... RACB5B7C3N	http://purl.org/dc/terms/license license	https://creativecommons.org/licenses/by/4.0/ 4.0	https://orcid.org/0000-0002-8042-4131 Myles Axton	2026-07-08T17:44:04.000Z	↗︎source
PublicationInfo	https://w3id.org/np/RACB5B7C3N... RACB5B7C3N	http://purl.org/dc/terms/contributor contributor	https://w3id.org/np/RACB5B7C3N.../claude-fable-5 claude-fable-5	https://orcid.org/0000-0002-8042-4131 Myles Axton	2026-07-08T17:44:04.000Z	↗︎source
PublicationInfo	https://w3id.org/np/RACB5B7C3N.../sig sig	http://purl.org/nanopub/x/hasSignatureTarget hasSignatureTarget	https://w3id.org/np/RACB5B7C3N... RACB5B7C3N	https://orcid.org/0000-0002-8042-4131 Myles Axton	2026-07-08T17:44:04.000Z	↗︎source