5 search results for "author:"Enrico Tassi""
Showing 1 - 5
-
elpi
No documentation
ELPI - Embeddable λProlog Interpreter3.0.0LGPL-2.1-or-laterUsed by 1 other packages09 Jul 2025 -
ELPI - option for legacy parser1LGPL-2.1-or-laterUsed by 0 other packages19 Apr 2022
-
An experimental, interactive theorem prover0.99.5GPL-2.0-or-laterUsed by 0 other packages05 Oct 2023
-
sel
No documentation
0.7.0MITUsed by 1 other packages19 Jun 2025 -
vscoq-language-server
No documentation
VSCoq language server2.2.6MITUsed by 0 other packages20 May 2025