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: over 2 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: about 2 months ago - Pushed: 2 months ago

certicompil/velus

Last synced: 7 months ago

Deducteam/coq-hol-light
HOL-Light library in Coq

Size: 1.38 MB - Last synced: 1 day ago - Pushed: about 1 month ago

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

Size: 186 KB - Last synced: 3 days ago - Pushed: 4 months ago

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

Size: 148 KB - Last synced: 1 day ago - Pushed: about 1 month ago