Docs Todo list Get Involved Trackers Sponsor

Basics
Goal trackers
Get involved
Explore
- Dependency graphs
- Search Physlib
Support
- Sponsor

Pull Request Triage

PRs are categorised by what action is needed. View all on GitHub ↗

Loading pull requests…

Physlib

The definitive library for formalized physics in Lean 4.

Learn

Getting Started
APIs
Project Ideas

Community

Get Involved
Maintainers
Todo list
Discussion ↗

Explore

Dependency Graphs
Search Physlib ↗
GitHub ↗

Support

Sponsor
API Tracker
PR Triage

Maintained by the leanprover-community. Open-source, Apache 2.0.

Physics in Lean 4

Website by