2 search results for "author:"Claudio Sacerdoti Coen""

Showing 1 - 2
  1. elpi
    Documentation
    ELPI - Embeddable λProlog Interpreter
    Claudio Sacerdoti Coen Enrico Tassi
    3.7.2
    LGPL-2.1-or-later
    Used by 1 other packages
    Added to opam-repository
  2. matita

    No documentation

    An experimental, interactive theorem prover
    interactive theorem proving calculus of constructions
    HELM Team Andrea Asperti Ferruccio Guidi Luca Padovani Claudio Sacerdoti Coen et al.
    0.99.5
    GPL-2.0-or-later
    Used by 0 other packages
    Added to opam-repository