Awesome Open Source

Programming Languages

Search results for ocaml prover

3 search results found

Zipperposition ⭐ 118

An automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition+rewriting; and Logtk, a supporting library for manipulating terms, formulas, clauses, etc.

[research] A modular SMT solver in OCaml, based on mcSAT

Frog Utils ⭐ 5

Scheduling and running jobs on a shared computer, then analyse their output

Related Searches

Ocaml Reasonml (475)

Bindings Ocaml (428)

Ocaml Reason (394)

Ocaml Bucklescript (320)

Types Ocaml (294)

Language Ocaml (289)

Javascript Ocaml (181)

Reactjs Ocaml (168)

Ocaml Coq (163)

1-3 of 3 search results

Privacy | About | Terms | Follow Us On Twitter

Copyright 2018-2024 Awesome Open Source. All rights reserved.