LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Ecosystems
Launchpads

Search

OCaml

coq2html

An HTML documentation generator for Coq source files

OCamlEmerging

Stars

31

Forks

11

Contributors

6

Last push

1d ago

Recent commits

Latest commits.

Warn for proofs not started with `Proof`, and for nested proofs
4581dfcXavier Leroy1d ago
Typo in README.md
1547e8cXavier Leroy22mo ago
End of detail tag for proofs (#9)
be0182cYOSHIHIRO Imai22mo ago
No more Javascript
34cd8adXavier Leroy23mo ago
Use HTML5 and HTML5's details/summary tags
03ada2bXavier Leroy23mo ago

Updates for release 1.4

c569411Xavier Leroy23mo ago

Local OPAM file

6352782Xavier Leroy23mo ago

Quick-and-dirty support for Unicode in identifiers

b178cb9Xavier Leroy23mo ago

Top contributors

Builders behind this project.