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: about 3 years 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 KB - Last synced: 9 months ago - Pushed: 9 months ago

certicompil/velus

Last synced: about 1 year ago

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

Size: 1.28 MB - Last synced: 4 days ago - Pushed: 18 days 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 KB - Last synced: 5 days ago - Pushed: 13 days 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 KB - Last synced: 4 days ago - Pushed: 5 days ago