3/22/2026 at 11:07:35 AM
Code part of the project PhysLib (formerly PhysLean) - physics version of the project Mathlib.by leanexplorer
3/22/2026 at 11:03:14 AM
Non-trivial error in physics paper found via Lean
https://arxiv.org/abs/2603.08139by leanexplorer