Dimensional Calculus in Lean4
This dimensional calculus is intended to provide support for dimensional analysis of systems of quantities modeled using this metrology vocabulary.
NicolasRouquette/dimensional-calculus.lean4
None Description
GitHub Link DocumentationPick a version!
TODO: should show a time axes that allows the users to view, filter and click copy the lakefile config.