37 search results for "tag:"log""
Showing 1 - 37
-
A first-order theorem prover with formal proof output1.1BSD-2-ClauseUsed by 0 other packages02 Sep 2019
-
Basic OS interaction for OCaml0.2.1ISCUsed by 84 other packages06 Oct 2021
-
0.4.3MITUsed by 0 other packages16 Mar 2023
-
Compile a subset of OCaml to Coq2.5.3+4.14MITUsed by 0 other packages06 Jan 2023
-
Coq proofs in a style that resembles non-mechanized mathematical proofs2.1.0+8.17LGPL-3.0-or-laterUsed by 0 other packages07 Nov 2023
-
0.6BSD-2-ClauseUsed by 0 other packages13 Mar 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
-
0.2.1MITUsed by 0 other packages25 Oct 2014
-
0.7.0ISCUsed by 282 other packages13 Aug 2019
-
1.3ISCUsed by 1 other packages03 Oct 2023
-
1.3ISCUsed by 1 other packages03 Oct 2023
-
Core types and algorithms for logic2.1BSD-2-ClauseUsed by 3 other packages05 Sep 2021
-
Algorithms and datastructures for phylogenetics0.2.0CeCILL-BUsed by 0 other packages15 May 2023
-
Debug logs for selected functions and let-bindings0.3.3LGPL-2.1-or-laterUsed by 0 other packages15 Sep 2023
-
0.0.4MITUsed by 0 other packages15 Oct 2023
-
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
-
Stog plugin adding new rewrite rules to use footnotes and bibliographies in documents0.19.0GPL-3.0-onlyUsed by 0 other packages18 May 2021
-
0.3.0LGPL-3.0-onlyUsed by 0 other packages09 Dec 2015
-
0.6Used by 1 other packages09 Feb 2019
-
0.1LGPL-3.0-onlyUsed by 0 other packages17 May 2023
-
YOCaml It is a static site generator, mostly written in OCaml1.0.0GPL-3.0-or-laterUsed by 8 other packages21 Nov 2023
-
YOCaml Common Mark processor1.0.0GPL-3.0-or-laterUsed by 0 other packages21 Nov 2023
-
YOCaml Runtime using Git as target1.0.0GPL-3.0-or-laterUsed by 0 other packages21 Nov 2023
-
Deal with Jingoo in YOCaml1.0.0GPL-3.0-or-laterUsed by 0 other packages21 Nov 2023
-
YOCaml Markdown processor1.0.0GPL-3.0-or-laterUsed by 0 other packages21 Nov 2023
-
Deal with Mustache in YOCaml1.0.0GPL-3.0-or-laterUsed by 0 other packages21 Nov 2023
-
YOCaml Syndication1.0.0GPL-3.0-or-laterUsed by 0 other packages21 Nov 2023
-
YOCaml Unix runtime1.0.0GPL-3.0-or-laterUsed by 0 other packages21 Nov 2023
-
Deal with Yaml in YOCaml1.0.0GPL-3.0-or-laterUsed by 0 other packages21 Nov 2023
-
A fully automatic theorem prover for typed higher-order and beyond2.1BSD-2-ClauseUsed by 0 other packages05 Sep 2021