key | value |
---|---|
id | 96534345 |
name | coq2html |
full_name | xavierleroy/coq2html |
html_url | https://github.com/xavierleroy/coq2html |
description | An HTML documentation generator for Coq source files |
created_at | July 7, 2017, 11:59 a.m. |
updated_at | March 11, 2024, 9:11 p.m. |
pushed_at | Jan. 10, 2024, 5:38 p.m. |
size | 23 |
stargazers_count | 26 |
watchers_count | 4 |
forks_count | 10 |
open_issues | 2 |
language | OCaml |
awesome_list |