Physlib

Last updated: Aug 31, 2026, 10:53 AM UTC

Suggest a new API

Propose an API-map.yamlfor an API that isn't tracked here yet.

Submitting opens GitHub in a new tab. You must be signed in to a GitHub account to post the suggestion; if it's accepted, you'll be credited as a co-author.

1 of 38

Boltzmann constant

Physlib/StatisticalMechanics/BoltzmannConstant.lean

This API is referenced as a dependency but has no API-map.yaml of its own yet, so there is no overview or requirements list to show.

Suggest a new API

This API is referenced elsewhere but has no API-map.yaml of its own yet.

Submitting opens GitHub in a new tab. You must be signed in to a GitHub account to post the suggestion; if it's accepted, you'll be credited as a co-author.

Required by

Dependency map

Every API, with each one shown below the parent it builds on. Click a box to open it above. Green boxes have all their requirements done, yellow are in progress, and red have none done yet; dashed boxes are referenced as a parent but have no API-map.yaml of their own yet.