4 search results for "author:"Enrico Tassi""

  1. elpi
    Documentation
    ELPI - Embeddable λProlog Interpreter
    Claudio Sacerdoti Coen Enrico Tassi
    1.17.0
    LGPL-2.1-or-later
    Used by 1 other packages
    17 Jul 2023
  2. elpi-option-legacy-parser
    Documentation
    ELPI - option for legacy parser
    Enrico Tassi
    1
    LGPL-2.1-or-later
    Used by 0 other packages
    19 Apr 2022
  3. sel
    Documentation
    Simple Event Library
    event input output
    Enrico Tassi
    0.4.0
    MIT
    Used by 1 other packages
    04 Jul 2023
  4. vscoq-language-server
    Documentation
    VSCoq language server
    Enrico Tassi Maxime Dénès Romain Tetley
    2.0.1+coq8.18
    MIT
    Used by 0 other packages
    22 Sep 2023