About PhysLean

An account for community run, open source project PhysLean, which aims to digitalize physics into the interactive theorem prover Lean 4.

Lists

Timeline

PhysLean has no activity yet