LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Ecosystems
Launchpads

Search

Rocq Prover

jesc24

zoe 2 escrow, in jessie, formalized in OCPL / Iris / coq

Rocq ProverEmerging

Stars

—

Forks

—

Contributors

8

Last push

1mo ago

Recent commits

Latest commits.

ci: separate fetching dev tools from building
728913aDan Connolly1mo ago
ci: roll back to nix workflow
ca36076Dan Connolly1mo ago
ci: add opam archive repo for OCaml 4.07
e33dfdcDan Connolly1mo ago
ci: opam-based, matching iris.mk
06a1336Dan Connolly1mo ago
ci: use nix
0143b1aDan Connolly1mo ago

build: flake.lock

537cb71Dan Connolly1mo ago

build: nix flake for coq_8_9 etc.

17990f2Dan Connolly1mo ago

0def4eaDan Connolly1mo ago

Top contributors

Builders behind this project.

robbertkrebbers