2 search results for "author:"Claudio Sacerdoti Coen""
Showing 1 - 2
-
elpi
No documentation
ELPI - Embeddable λProlog InterpreterClaudio Coen Enrico Tassi3.0.0LGPL-2.1-or-laterUsed by 1 other packages09 Jul 2025 -
An experimental, interactive theorem prover0.99.5GPL-2.0-or-laterUsed by 0 other packages05 Oct 2023