d-flex flex-column width-full">

Logic: new lemmas: contra_congr, case_elim, iff_trans

7640254

Select commit

Loading

Failed to load commit list.

There was an error while loading. Please reload this page.

Enforce single-commit PR on: pull_request 2

check-commit-count

EasyCrypt CI on: pull_request 2

Build Docker images

EasyCrypt compilation (nix)

Fetch EasyCrypt External Projects Matrix

EasyCrypt compilation (opam)

Check EasyCrypt Libraries (unit)

Check EasyCrypt Libraries (stdlib)

Check EasyCrypt Libraries (examples)

Check EasyCrypt External Projects (set-status)

Publish Docker images

Notification

Build documentation on: pull_request

build

deploy

Annotations

2 errors

Process completed with exit code 1.

This PR has 5 commits. Please squash to a single commit.

check-commit-count

failed Jun 22, 2026 in 5s

Loading