LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Ecosystems
Launchpads

Search

Other

rocq-stdlib

Stdlib for the Rocq Prover

OtherEmerging

Stars

—

Forks

—

Contributors

8

Last push

8mo ago

Recent commits

Latest commits.

Merge pull request #210 from proux01/rocq21107
e343c58Gaëtan Gilbert9mo ago
Adapt to https://github.com/rocq-prover/rocq/pull/21107
96949a0Pierre Roux9mo ago
Merge pull request #209 from SkySkimmer/phi-level
95cbecaPierre Roux9mo ago
Add overlay
f1e513fPierre Roux9mo ago
Uint63 notation φ and Φ don't put pseudo application at level 0
433c0a5Gaëtan Gilbert9mo ago

Merge pull request #208 from proux01/rocq20816

c88defePierre Roux9mo ago

Merge pull request #204 from Yann-Leray/match-printing

5c16076Gaëtan Gilbert9mo ago

Adapt to https://github.com/rocq-prover/rocq/pull/20816

d56d5acPierre Roux9mo ago

Top contributors

Builders behind this project.