new lemmas for List; four new operators: isprefix, prefixes, sublist,…

84b598a

Select commit

Loading

Failed to load commit list.

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

Build documentation on: pull_request 1

EasyCrypt CI on: pull_request 14

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

Enforce single-commit PR on: pull_request

check-commit-count