package rocq-navi

  1. Overview
  2. Homepage
Extension of coq2html Document Generator

Install

Dune Dependency

github.com Edit opam file Versions (6)

Authors

  1. Xavier Leroy
  2. R
    Reynald Affeldt <reynald.affeldt@aist.go.jp>
  3. Y
    Yoshihiro Imai <y.imai@aist.go.jp>

Maintainers

  1. Y
    Yoshihiro Imai<y.imai@aist.go.jp>

Sources

rocqnavi.0.4.1.tar.gz
md5=28317156ec3854e5e48244675a9586da
sha512=16d7a9ab32567ec3eebe1324e7ce5eefb9f7c74f604d36556dbb52bb7edab13e091d39ad917e3ba5f33834d9a46c983b462f87a7f2332b93fd7c94f231e02b93

Description

Extension of coq2html Document Generator

Tags

category:Tools/Document Generator keyword:document keyword:html logpath:

Published: 18 Mar 2026

Dev Dependencies (1)

  1. coq-lsp with-test

Used by

None

Conflicts

None

Rocq

Interactive Theorem Prover

Zulip GitHub Discourse Mastodon RSS
About
Changelog Releases Industrial Users Academic Users History Why Rocq? Roadmap
Ecosystem
Platform Packages Rocq Team Community Consortium Events Rocq Planet Jobs
Resources
Install Rocq Get Started Documentation Books Papers Logo
Policies
Governance Privacy Code of Conduct