← All repos

physlib

A project to digitalise results from physics into Lean.

GitHubphyslib.io
leanphysicstheorem-proving
Browse cluster: Lean4 Formal Verification & Cryptography →
3,428commits
97contributors
3languages

Tech stack & purpose

Physlib is an open-source, community-run project that formalizes results from physics into Lean 4, an interactive theorem prover. The project aims to digitalize definitions, theorems, lemmas, and calculations from physics—including quantum information—organized by physics domain with physics-based documentation. Built in Lean 4 (v4.32.0), the project is maintained by a team of seven maintainers and welcomes community contributions through pull requests, with a structured review process and automated linting checks to ensure code quality and consistency.

Community & reference links

Languages

Lean
98.2%
Python
1.8%
Shell
0.0%

Contributors (top 30 of 97)