Skip to content

feat: variant for up-to-bad call/proc tactics#1055

Draft
loutr wants to merge 2 commits into
EasyCrypt:mainfrom
loutr:main
Draft

feat: variant for up-to-bad call/proc tactics#1055
loutr wants to merge 2 commits into
EasyCrypt:mainfrom
loutr:main

improve the syntax

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