PhysLean

@physlean.bsky.social

38 Followers · 33 Following

A project to digitalize physics into the interactive theorem prover lean 4. Account for news related to the project. Run by: Joseph Tooby-Smith.