1 search result for "tag:"keyword: mutual fixpoint functions""

Showing 1 - 1
  1. coq-nfix

    No documentation

    Nfix: a Coq extension for fixpoints on nested inductives
    keyword: mutual fixpoint functions category: Miscellaneous/Coq Extensions
    Stéphane Lescuyer
    8.10.0
    Unknown
    Used by 0 other packages
    19 Oct 2020