# sneeuwballen/zipperposition

<https://repo.masters-masters.com/repos/sneeuwballen/zipperposition>

[Accueil](https://repo.masters-masters.com/) › [sneeuwballen](https://repo.masters-masters.com/owners/sneeuwballen) › [zipperposition](https://repo.masters-masters.com/repos/sneeuwballen/zipperposition)

sneeuwballen/zipperposition, dépôt open source à 168 étoiles sur GitHub. Carte Prototype de RepoMasters. An automatic theorem prover in OCaml for typed…

| Champ | Valeur |
| --- | --- |
| Propriétaire | [sneeuwballen](https://repo.masters-masters.com/owners/sneeuwballen) |
| Étoiles | 168 |
| Forks | 25 |
| Langage | [OCaml](https://repo.masters-masters.com/languages/ocaml) |
| Licence | BSD-2-Clause |
| Création | 2012 |
| Sujets | prover, superposition, ocaml, experimental, logic, computer-science-algorithms, prototype, induction, polymorphism, rewriting |
| Rang | [Prototype (100 à 249 ★)](https://repo.masters-masters.com/ranks/rush) |
| Voir sur GitHub | [sneeuwballen/zipperposition](https://github.com/sneeuwballen/zipperposition) |

## Fiche du dépôt

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.

Rang des dépôts qui ont 100 à 249 ★ sur GitHub. Probabilité publiée par carte tirée : 70 %. Rareté : Commune.

## D’autres dépôts OCaml

- [robur-coop/albatross · ★ 171 · OCaml · Prototype](https://repo.masters-masters.com/repos/robur-coop/albatross)
- [smtcoq/smtcoq · ★ 170 · OCaml · Prototype](https://repo.masters-masters.com/repos/smtcoq/smtcoq)
- [ocaml-ppx/ppx\_deriving\_yojson · ★ 169 · OCaml · Prototype](https://repo.masters-masters.com/repos/ocaml-ppx/ppx_deriving_yojson)
- [ocaml-gospel/gospel · ★ 167 · OCaml · Prototype](https://repo.masters-masters.com/repos/ocaml-gospel/gospel)
- [janestreet/torch · ★ 167 · OCaml · Prototype](https://repo.masters-masters.com/repos/janestreet/torch)
- [rems-project/lem · ★ 166 · OCaml · Prototype](https://repo.masters-masters.com/repos/rems-project/lem)

---
Données : GitHub · Illustration dessinée par RepoMasters à partir de l’identifiant du dépôt et de la couleur de son langage.