1 search result for "author:"Antonia Balaa""

Showing 1 - 1
  1. coq-recursive-definition

    No documentation

    ML-like recursive definitions
    keyword: recursive functions keyword: well-foundedness category: Miscellaneous/Coq Extensions date: 2002
    Antonia Balaa Yves Bertot
    8.6.0
    LGPL 2.1
    Used by 0 other packages
    20 Nov 2018