1 search result for "tag:"date:2026-07-11""

Showing 1 - 1
  1. coq-math-classes

    No documentation

    A library of abstract interfaces for mathematical structures in Coq
    logpath:MathClasses date:2026-07-11
    Eelis van der Weegen Bas Spitters Robbert Krebbers
    9.2.0
    MIT
    Used by 1 other packages
    17 Jul 2026