1 search result for "author:"Yoshihiro Imai <y.imai@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.4.0
    GPL-2.0-or-later
    Used by 0 other packages
    04 Mar 2026