package rocq-navi

  1. Overview
  2. Homepage
Extension of coq2html Document Generator

Install

Dune Dependency

github.com Edit opam file Versions (8)

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.5.1.tar.gz
md5=b65d450a68f6aa2ee63d15558450228c
sha512=ee0ea16759162de3d1ad8337c67398a4b4ac5364e7b51c67647c630ae71f1450cd82d6d3a1199b0c76b0a04f64ee344bc6aee0f913b425c9c4e50e2dc941f20a

Description

Extension of coq2html Document Generator

Tags

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

Published: 15 Jul 2026

Dev Dependencies (2)

  1. rocq-hierarchy-builder with-test
  2. 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