search

SKolodynski / IsarMathLib

IsarMathLib is a library of formalized mathematics for Isabelle/ZF.
https://isarmathlib.org
Other
16 stars 2 forks source link

isar2html does not support references to theorems with statement number #11

Closed SKolodynski closed 4 years ago

SKolodynski commented 4 years ago

An example of the problem can be seen in the proof of the cancel_middle lemma. The name of the group0.group0_2_L14A(2) lemma is not rendered as link.