https://github.com/EasyCrypt/easycrypt
History
Tip revision: f27fcaaaaf1690c77c1d306b4b3d137435475588 authored by Pierre-Yves Strub on 16 February 2019, 06:08:09 UTC
add a "rigid" meta-tactic for forcing rigid unification
Tip revision: f27fcaa
File Mode Size
FoldProc.eca -rw-r--r-- 2.9 KB
IterProc.eca -rw-r--r-- 8.4 KB

back to top