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 Mo - Last synced: plus d'un an ago - Pushed: plus d'un an ago

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

Size: 12,1 Mo - Last synced: plus d'un an ago - Pushed: plus d'un an ago

Deducteam/Agda2Dedukti

Size: 556 ko - Last synced: 26 jours ago - Pushed: plus de 4 ans ago

Deducteam/hol2dk
HOL-Light to Dedukti/Lambdapi translator

Size: 713 ko - Last synced: 26 jours ago - Pushed: 3 mois ago

Deducteam/isabelle_dedukti
Isabelle component generating Dedukti proofs

Size: 377 ko - Last synced: 26 jours ago - Pushed: 4 mois ago

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

Size: 39,5 Mo - Last synced: 26 jours ago - Pushed: 27 jours ago

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

Size: 272 ko - Last synced: 26 jours ago - Pushed: plus de 4 ans ago

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

Size: 7,86 Mo - Last synced: 26 jours ago - Pushed: 28 jours ago