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

Showing 1 - 1
  1. coq-antivalence

    No documentation

    A Coq plugin to generate type-inequality axioms for inductive definitions
    category:Miscellaneous/Coq Extensions logpath:Antivalence date:2020-08-24
    Isaac van Bakel
    1.0.1
    MIT
    Used by 0 other packages
    24 Aug 2020