Conceptio
›
Archive
›
PhilArchive
PhilArchive
open access
Identity Physics: Formally Verified 18 Digit Fine Structure Constant 1/α = 136.899099984016 + 0.136899099984016 = 137.035999084000016 CODATA 2018 Lean4/Coq 0 Sorry 0 Free Parameters CI Green
Trent, Russell
PhilArchive · Papers · License: Open Access
Open Source ↗
philosophy
Philosophy
This document is indexed with metadata only — full text is not available in the archive for this record.
Open the official source ↗
Related documents
New trends in the economic systems management in the context of modern global challenges
#701080
On Informative Objects
#701081
Practising Philosophy of Mathematics with Children
#701082
Seepage in Objects: A Primer
#701083
Strategies for sustainable socio-economic development and mechanisms their implementation in the global dimension
#701084
Record
· ID 687611
Retrieved via
Conceptio
— every document is proof-bundled with source, license, and retrieval metadata.