search

affeldt-aist / coq2html

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

Draft: docs: :memo: introduce documentation for developers #47

Closed yoshihiro503 closed 2 weeks ago

yoshihiro503 commented 2 months ago

Draft