Physlib

About

About Physlib

An open-source community project to digitalize results from physics into Lean 4. Formerly PhysLean & Lean-QuantumInfo.

01MissionCreate a library of digitalized physics results in Lean 4, useful to the broad physics community.Read more →02ValuesBuilt on principles.Read more →03BeneficiariesFor physicists and formal-methods researchers.Read more →04ImpactWhy formalize physics?Read more →05MaintainersThe people responsible for reviewing and merging pull requests.Read more →
Read the paper: arXiv:2405.08863