14 search results for "tag:"prover""
Showing 1 - 14
-
A first-order theorem prover with formal proof output1.1BSD-2-ClauseUsed by 0 other packages02 Sep 2019
-
Semantic analysis of binary executables0.8.1LGPL-2.1-or-laterUsed by 0 other packages01 Nov 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
-
Platform dedicated to the analysis of source code written in C28.0~betaLGPL-2.1-onlyUsed by 2 other packages30 Oct 2023
-
Platform dedicated to the analysis of source code written in C.15.0LGPL-2.1-onlyUsed by 2 other packages30 Oct 2018
-
Library for Zipperposition2.1BSD-2-ClauseUsed by 2 other packages05 Sep 2021
-
Why is a software verification platform.2.41LGPL-2.1-onlyUsed by 0 other packages03 Jul 2018
-
Why3 environment for deductive program verification1.7.0LGPL-2.1-onlyUsed by 5 other packages27 Nov 2023
-
Why3 environment for deductive program verification (base)0.88.3LGPL-2.1-onlyUsed by 1 other packages12 Jan 2018
-
Why3 environment for deductive program verification1.7.0LGPL-2.1-onlyUsed by 0 other packages27 Nov 2023
-
Why3 environment for deductive program verification1.7.0LGPL-2.1-onlyUsed by 0 other packages27 Nov 2023
-
A fully automatic theorem prover for typed higher-order and beyond2.1BSD-2-ClauseUsed by 0 other packages05 Sep 2021