32 search results for "tag:"log""
Showing 1 - 32
-
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 88 other packages06 Oct 2021
-
0.4.3MITUsed by 0 other packages16 Mar 2023
-
A lightweight library for combinatory logic1.0.0MITUsed by 0 other packages10 Apr 2024
-
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.2.0+8.17LGPL-3.0-or-laterUsed by 0 other packages04 Nov 2024
-
0.7BSD-2-ClauseUsed by 0 other packages18 Oct 2024
-
A parser library for automated deduction0.10BSD-2-ClauseUsed by 8 other packages24 Jun 2024
-
A linter for logic languages0.10BSD-2-ClauseUsed by 0 other packages24 Jun 2024
-
A tool library for automated deduction tools0.10BSD-2-ClauseUsed by 4 other packages24 Jun 2024
-
A LSP server for automated deduction languages0.10BSD-2-ClauseUsed by 0 other packages24 Jun 2024
-
The Dolmen library for verifying models generated by automated theorem provers and SMT solvers0.10BSD-2-ClauseUsed by 2 other packages24 Jun 2024
-
The Dolmen library for typechecking languages0.10BSD-2-ClauseUsed by 5 other packages24 Jun 2024
-
A lua client for interfacing hardcaml to verilator, UHDM, Verible and RTLIL front-ends0.0.1MITUsed by 0 other packages28 Aug 2024
-
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 307 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.3.0CeCILL-BUsed by 0 other packages09 Jul 2024
-
Debug logs for selected functions and let-bindings2.0.2LGPL-2.1-or-laterUsed by 2 other packages24 Oct 2024
-
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.5BSD-2-ClauseUsed by 0 other packages17 Apr 2024
-
Stog plugin adding new rewrite rules to use footnotes and bibliographies in documents0.19.0GPL-3.0-onlyUsed by 0 other packages18 May 2021
-
taglog
No documentation
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 Common Mark processor1.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
-
A fully automatic theorem prover for typed higher-order and beyond2.1BSD-2-ClauseUsed by 0 other packages05 Sep 2021