Data

Tools

Indexes

Applications

Experiments

Repos

An open API service providing repository metadata for many open source software ecosystems.

Package Usage: actions: avsm/setup-ocaml

View more package details: https://packages.ecosystem.code.gouv.fr/registries/github%20actions/packages/avsm/setup-ocaml

Dependent Repos 7

coq/vscoq
Visual Studio Code extension for Coq

Size: 78.7 MB - Last synced: 9 months ago - Pushed: 9 months ago

coq/opam
Archive for all Coq related OPAM packages organized in various repositories

Size: 12.1 MB - Last synced: 9 months ago - Pushed: 9 months ago

Deducteam/Agda2Dedukti

Size: 556 KB - Last synced: 6 days ago - Pushed: almost 4 years ago

Deducteam/hol2dk
HOL-Light to Dedukti/Lambdapi translator

Size: 690 KB - Last synced: 6 days ago - Pushed: 8 days ago

Deducteam/isabelle_dedukti
Isabelle component generating Dedukti proofs

Size: 321 KB - Last synced: 6 days ago - Pushed: 15 days ago

Deducteam/lambdapi
Proof assistant based on the λΠ-calculus modulo rewriting

Size: 39.2 MB - Last synced: 6 days ago - Pushed: 7 days ago

Deducteam/SKonverto
A tool to transform proofs containing Skolem symbol in first order logic.

Size: 272 KB - Last synced: 6 days ago - Pushed: over 3 years ago

Deducteam/zenon_modulo
First-order automated theorem prover based on the tableau method

Size: 7.85 MB - Last synced: 6 days ago - Pushed: 14 days ago