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: 11 mois ago - Pushed: 11 mois ago

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

Size: 12,1 Mo - Last synced: 11 mois ago - Pushed: 11 mois ago

Deducteam/Agda2Dedukti

Size: 556 ko - Last synced: 5 jours ago - Pushed: environ 4 ans ago

Deducteam/hol2dk
HOL-Light to Dedukti/Lambdapi translator

Size: 691 ko - Last synced: 5 jours ago - Pushed: environ 2 mois ago

Deducteam/isabelle_dedukti
Isabelle component generating Dedukti proofs

Size: 375 ko - Last synced: 5 jours ago - Pushed: environ 2 mois ago

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

Size: 39,3 Mo - Last synced: 5 jours ago - Pushed: 7 jours ago

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

Size: 272 ko - Last synced: 5 jours ago - Pushed: presque 4 ans ago

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

Size: 7,86 Mo - Last synced: 5 jours ago - Pushed: environ un mois ago