PhysLib is an open-source, community-driven project that formalizes physics results, including...