GitHub repository: HEPLean/PhysLean
Primary language: Lean
Description: A project to digitalise results from physics into Lean.