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

Showing 1 - 1
  1. coq-ext-lib

    No documentation

    A library of Coq definitions, theorems, and tactics
    logpath:ExtLib
    Gregory Malecha
    0.13.0
    BSD-2-Clause
    Used by 12 other packages
    06 Dec 2024