PrototypeCommune
sneeuwballen/zipperposition
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.
- Propriétaire
- sneeuwballen (organisation)
- Étoiles
- Étoiles : 168
- Forks
- Forks : 25
- Langage
- OCaml
- Licence
- BSD-2-Clause
- Création
- 2012
- Sujets
- proversuperpositionocamlexperimentallogiccomputer-science-algorithmsprototypeinductionpolymorphismrewriting
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
D’autres dépôts OCaml
Tous les dépôts OCaml- robur-coop/albatrossÉtoiles : 171OCamlPrototype
- smtcoq/smtcoqÉtoiles : 170OCamlPrototype
- ocaml-ppx/ppx_deriving_yojsonÉtoiles : 169OCamlPrototype
- ocaml-gospel/gospelÉtoiles : 167OCamlPrototype
- janestreet/torchÉtoiles : 167OCamlPrototype
- rems-project/lemÉtoiles : 166OCamlPrototype