package rocq-navi

  1. Overview
  2. Homepage
Extension of coq2html Document Generator

Install

Dune Dependency

github.com Edit opam file Versions (5)

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.0.tar.gz
md5=29693c8d5c54a625a78b980c0b996bb3
sha512=b298277a2332d5aea21ea7114ddc954249c16cbc99c2c0c8d0725e3a0fc20b7ae7ff8caf298395289fd4182b41d1e8f807917c4a2e84c72c32a0fe597679e582

Description

Extension of coq2html Document Generator

Tags

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

Published: 04 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