search

xavierleroy / coq2html

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

Fix broken link #5

Closed brnbrnrd closed 4 years ago