LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Narratives
Ecosystems
Launchpads

Discover

Search
Sources

Other

opam

Archive for all Rocq and Coq-related opam packages organized in various repositories

OtherEmerging

Stars

—

Forks

—

Contributors

8

Last push

9mo ago

Recent commits

Latest commits.

Merge pull request #3522 from Alizter/push-mnvostrpttnr
940b94dMSoegtropIMC9mo ago
coq-hott 9.0
bd1915cAli Caglayan9mo ago
Merge pull request #3521 from SkySkimmer/noman
937a32eGaëtan Gilbert9mo ago
rocq-runtime.dev don't configure mandir
726b4e2Gaëtan Gilbert9mo ago
Merge pull request #3516 from damien-pous/master
128efb5Enrico Tassi9mo ago

Merge pull request #3519 from coqelpibot/opam-publish-coq-elpi.3.2.0

5314b58Enrico Tassi9mo ago

2 packages from LPCIC/coq-elpi at 3.2.0

e9ea89dcoqelpibot9mo ago

moving rocq packages to the right place

74212e4Damien Pous9mo ago

Top contributors

Builders behind this project.