/dimensional-calculus.lean4

Primary LanguageLean

Dimensional Calculus in Lean4

This dimensional calculus is intended to provide support for dimensional analysis of systems of quantities modeled using this metrology vocabulary.