Physlib

https://physlean.com/

Physlib is a comprehensive library of formalized physics results in the Lean 4 theorem prover,...

Tokens:337
Snippets:7
Trust Score:6.1
Update:5 months ago
Tokens:
Raw