5 search results for "tag:"term""
Showing 1 - 5
-
Basic control of ANSI compliant terminals and the windows shell0.8.5LGPL-3.0-or-later WITH OCaml-LGPL-linking-exceptionUsed by 19 other packages19 Jul 2022
-
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
-
Various utility functions for property-based testing of multicore programs0.3BSD-2-clauseUsed by 4 other packages11 Oct 2023
-
A fully automatic theorem prover for typed higher-order and beyond2.1BSD-2-ClauseUsed by 0 other packages05 Sep 2021