package rocq-navi

  1. Overview
  2. Homepage
Extension of coq2html Document Generator

Install

Dune Dependency

github.com Edit opam file Versions (7)

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.0.tar.gz
md5=9e8c54ef863b048d03556a1690a0da27
sha512=aba4e0b1eb93d94b25b508dcd9fff287f163c5cb32680c8152af5b48686f595fca6498ff0cd3bded4694c8a8ea1a2ecae80181d8cafcd5e48bd4e9c1f97887e4

Description

Extension of coq2html Document Generator

Tags

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

Published: 24 Jun 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