TY  - RPRT
TI  - Automated Reasoning for Physical Quantities, Units, and Measurements in Isabelle/HOL
AU  - Simon Foster
AU  - Burkhart Wolff
PY  - 2023
UR  - https://arxiv.org/abs/2302.07629
ID  - 2302.07629
ER  -