Data

Tools

Indexes

Applications

Experiments

Repos

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

Package Usage: actions: coq-community/docker-coq-action

GitHub Action using Docker-Coq
14 versions
Latest release: environ 3 ans ago

View more package details: https://packages.ecosystem.code.gouv.fr/registries/github%20actions/packages/coq-community/docker-coq-action

Dependent Repos 2

coq/platform-docs
A project of short tutorials and how-to guides for Coq features and Coq Platform packages.

Size: 187 ko - Last synced: 9 mois ago - Pushed: 9 mois ago

certicompil/velus

Last synced: environ un an ago

Deducteam/coq-hol-light
Translation of HOL-Light's Multivariate library in Rocq

Size: 1,28 Mo - Last synced: 4 jours ago - Pushed: 26 jours ago

Deducteam/coq-hol-light-real-with-nat
Translation in Rocq of the HOL-Light definition of real numbers using the Rocq type nat

Size: 243 ko - Last synced: 6 jours ago - Pushed: 21 jours ago

Deducteam/coq-hol-light-real-with-N
Translation in Coq of the HOL-Light definition of real numbers using binary natural numbers

Size: 160 ko - Last synced: 4 jours ago - Pushed: 13 jours ago