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

Showing 1 - 6
  1. elpi
    Documentation
    ELPI - Embeddable λProlog Interpreter
    Claudio Sacerdoti Coen Enrico Tassi
    3.4.2
    LGPL-2.1-or-later
    Used by 1 other packages
    21 Oct 2025
  2. elpi-option-legacy-parser

    No documentation

    ELPI - option for legacy parser
    Enrico Tassi
    1
    LGPL-2.1-or-later
    Used by 0 other packages
    19 Apr 2022
  3. matita
    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
    05 Oct 2023
  4. sel
    Documentation
    Simple Event Library
    event input output
    Enrico Tassi
    0.7.0
    MIT
    Used by 2 other packages
    19 Jun 2025
  5. vscoq-language-server
    Documentation
    Compatibility meta package for the VsRocq language server after the Rocq renaming
    Enrico Tassi Maxime Dénès Romain Tetley
    2.3.3
    MIT
    Used by 0 other packages
    29 Oct 2025
  6. vsrocq-language-server
    Documentation
    VSRocq language server
    Enrico Tassi Maxime Dénès Romain Tetley
    2.3.3
    MIT
    Used by 1 other packages
    29 Oct 2025