1 search result for "author:"Claudio Sacerdoti Coen""

  1. elpi
    ELPI - Embeddable λProlog Interpreter
    Claudio Sacerdoti Coen Enrico Tassi
    1.16.9
    LGPL-2.1-or-later
    Used by 1 other packages
    Last published 17 Mar 2023