13 search results for "tag:"logic""
Showing 1 - 13
-
A first-order theorem prover with formal proof output1.1BSD-2-ClauseUsed by 0 other packages02 Sep 2019
-
A parser library for automated deduction0.9BSD-2-ClauseUsed by 7 other packages06 Jul 2023
-
A linter for logic languages0.9BSD-2-ClauseUsed by 0 other packages06 Jul 2023
-
A tool library for automated deduction tools0.9BSD-2-ClauseUsed by 4 other packages06 Jul 2023
-
A LSP server for automated deduction languages0.9BSD-2-ClauseUsed by 0 other packages06 Jul 2023
-
A model checker for automated deduction languages0.9BSD-2-ClauseUsed by 1 other packages06 Jul 2023
-
A typechecker for automated deduction languages0.9BSD-2-ClauseUsed by 4 other packages06 Jul 2023
-
Library for Zipperposition2.1BSD-2-ClauseUsed by 2 other packages05 Sep 2021
-
Core types and algorithms for logic2.1BSD-2-ClauseUsed by 3 other packages05 Sep 2021
-
Experimental model finder/SMT solver for functional programming0.6.1Used by 0 other packages14 Nov 2019
-
0.4BSD-2-ClauseUsed by 0 other packages28 Jun 2022
-
0.6Used by 1 other packages09 Feb 2019
-
A fully automatic theorem prover for typed higher-order and beyond2.1BSD-2-ClauseUsed by 0 other packages05 Sep 2021