EasyCrypt tactics

proc

Hoare version

wp

Hoare version

while

Hoare version

PHoare version

Others