1 search result for "author:"Hendrik Tews <hendrik@askra.de>""

Showing 1 - 1
  1. prooftree
    Documentation
    Proof-tree visualization for Coq via Proof General
    Hendrik Tews <hendrik@askra.de>
    0.14
    GPL-3.0-or-later
    Used by 0 other packages
    27 Feb 2024