1 search result for "tag:"logpath:HoTT""

Showing 1 - 1
  1. coq-hott

    No documentation

    The Homotopy Type Theory library
    logpath:HoTT
    The HoTT Library Development Team
    9.0
    BSD-2-Clause
    Used by 1 other packages
    29 Sep 2025