OurBigBook
About
$
Donate
Sign in
Sign up
Formalization of physics
Ciro Santilli
(
@cirosantilli,
37
)
Mathematics
Area of mathematics
Formalization of mathematics
Formalization of X
2025-11-30
0
Like
0 By others
on same topic
0 Discussions
Create my own version
Table of contents
Formalization of physics project
Formalization of physics
PhysLean
Formalization of physics project
Physics Derivation Graph
Formalization of physics project
Formalization of physics project
0
0
0
Formalization of physics
PhysLean
0
0
0
Formalization of physics project
Tags:
Lean library
physlean.com/
Physics Derivation Graph
0
0
0
Formalization of physics project
www.youtube.com/channel/UCBSInUAbtBkYDYKNc_iauVQ
derivationmap.net
github.com/allofphysicsgraph/proofofconcept
Ancestors
(5)
Formalization of X
Formalization of mathematics
Area of mathematics
Mathematics
Home
View article source
Discussion
(0)
Subscribe (1)
New discussion
There are no discussions about this article yet.
Articles by others on the same topic
(0)
There are currently no matching articles.
See all articles in the same topic
Create my own version