This is a demo instance. Do not store any relevant data here. You
can use the user 'demo' and password 'password' to login.
PhysLean
@PhysLean@mathstodon.xyz
Joined: 07/30/2025
About PhysLean
An account for community run, open source project PhysLean, which aims to digitalize physics into the interactive theorem prover Lean 4.
Lists
PhysLean has no public lists
Timeline
PhysLean has no activity yet