register
log in
hub.darcs.net
::
thielema
->
physical-unit-lean
->
files
Physical units and quantities with type-checked dimensions in Lean4
root
PhysicalUnit
Main.lean
PhysicalUnit.lean
lakefile.lean
lean-toolchain
files
changes
fork
download .zip
darcs get url