1 search result for "author:"Groupoid Infinity""

Showing 1 - 1
  1. anders

    No documentation

    Modal Homotopy Type System
    Groupoid Infinity
    5.1.0
    ISC
    Used by 0 other packages
    02 May 2026