1 search result for "author:"The HoTT Library Development Team""

Showing 1 - 1
  1. coq-hott

    No documentation

    The Homotopy Type Theory library
    logpath:HoTT
    The HoTT Library Development Team
    8.20
    BSD-2-Clause
    Used by 0 other packages
    28 Sep 2024