search

metanorma / stepmod-utils

Tools for working on the STEPmod repository.
1 stars 0 forks source link

Also migrate `arm_lf.exp` and `mim_lf.exp` for modules #248

Closed ronaldtse closed 7 months ago

ronaldtse commented 7 months ago

We're missing them right now.