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

{username} has no activity yet