search

metanorma / metanorma-standoc

Metanorma for Standoc documents
BSD 2-Clause "Simplified" License
5 stars 2 forks source link

Semantic explanation of unitsml units missing #931

Closed opoudjis closed 1 month ago

opoudjis commented 1 month ago

The point of unitsml was to introduce explicit semantic definitions of units in the metanorma-extension section, and cross-reference unit instances to those definitions. Those definitions appear no longer to be populated, after the transition to Plurimath; need to confirm and fix.

opoudjis commented 1 month ago

Confirm for https://github.com/metanorma/iso-2533/issues/22

opoudjis commented 1 month ago

This is an omission of Plurimath: https://github.com/plurimath/plurimath/issues/297