yoshihiro503
commented
7 months ago resolved by https://github.com/affeldt-aist/coq2html/pull/25 (same reason of the issue https://github.com/affeldt-aist/coq2html/issues/23 )
Closed affeldt-aist closed 7 months ago
yoshihiro503
commented
7 months ago resolved by https://github.com/affeldt-aist/coq2html/pull/25 (same reason of the issue https://github.com/affeldt-aist/coq2html/issues/23 )
#[short(type=semiRingOfSetsType)], an extra spurious space is introduced aftershort@proux01