← Explore by area

Cluster 637224

5 repos

Shell · 2

Prolog · 1

constraints ·379

extension-language ·379

lambda-prolog ·379

ocaml-library ·379

rfc ·130

rocq-prover ·130

Related clusters

Coq/Rocq Proof Formalization & Type Theory38 Cluster 63359527 Cluster 63374028 Cluster 6356567 Cluster 63358737 Cluster 63395419

coq/ceps

Rocq RFCs: documents to discuss changes to the Rocq Prover

65

117 commits

rocq-prover/rfcs

Rocq RFCs: documents to discuss changes to the Rocq Prover

65

117 commits

rocq-prover/platform

Multi platform setup for Rocq, Rocq libraries and tools

Shell

247

1,492 commits

coq/platform

Multi platform setup for Rocq, Rocq libraries and tools

Shell

247

1,492 commits

LPCIC/elpi

Embeddable Lambda Prolog Interpreter

Prolog

379

2,047 commits