1 search result for "author:"reynald.affeldt@aist.go.jp""

Showing 1 - 1
  1. rocq-navi

    No documentation

    Extension of coq2html Document Generator
    category:Tools/Document Generator keyword:document keyword:html logpath:
    Xavier Leroy Reynald Affeldt <reynald.affeldt@aist.go.jp> Yoshihiro Imai <y.imai@aist.go.jp>
    0.3.1
    GPL-2.0-or-later
    Used by 0 other packages
    17 Sep 2025