search

affeldt-aist / coq2html

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

Generate index and support markdown mode #1

Closed yoshihiro503 closed 11 months ago

yoshihiro503 commented 11 months ago

markdown mode

(***markdown**********************************)
(* - $x = \sum_i i$                          *)
(*********************************************)