coq2html is an HTML documentation generator for Coq source files. It is an alternative to the standard coqdoc documentation generator distributed along with Coq. The major feature of coq2html is its ...

This is a small project written since my team worked with mikrotiks and we sometimes needed to present audits of the configuration for upper manangement in a quick and easy to read format. It will ...