Skip to content

congr: add `congr pat` and `congr *` variants

8266190
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Merged

congr: add congr pat and congr * variants #1016

congr: add `congr pat` and `congr *` variants
8266190
Select commit
Loading
Failed to load commit list.

Annotations

1 warning
EasyCrypt compilation (nix)
succeeded Jun 1, 2026 in 46s