← Explore by area

Cluster 439285

5 repos

Shell · 2

Prolog · 1

constraints ·378

extension-language ·378

lambda-prolog ·378

ocaml-library ·378

rfc ·128

rocq-prover ·128

Related clusters

Coq Proof Assistant and Extensions23 Rocq Proof Assistant & Type Theory18 VS Code Language Extensions29 Formal Verification & Rocq Prover21 Cluster 4378268 Cluster 43598932

coq/ceps

Rocq RFCs: documents to discuss changes to the Rocq Prover

64

117 commits

rocq-prover/rfcs

Rocq RFCs: documents to discuss changes to the Rocq Prover

64

117 commits

rocq-prover/platform

Multi platform setup for Rocq, Rocq libraries and tools

Shell

246

1,492 commits

coq/platform

Multi platform setup for Rocq, Rocq libraries and tools

Shell

246

1,492 commits

LPCIC/elpi

Embeddable Lambda Prolog Interpreter

Prolog

378

2,047 commits