search

affeldt-aist / coq2html

An HTML documentation generator for Coq source files
GNU General Public License v2.0
1 stars 3 forks source link

links to HB #12

Open affeldt-aist opened 8 months ago

affeldt-aist commented 8 months ago

serious: some links to HB defined types are broken, for instance https://yoshihiro503.github.io/coq2html/mathcomp.analysis.measure.html#ringOfSetsType

@proux01