https://github.com/EasyCrypt/easycrypt
History
Tip revision: c5f30c87be0a2918bbd81970ab03f3feb36c3000 authored by Alley Stoughton on 08 March 2024, 23:54:43 UTC
Added example usage of well-founded recursion and induction (#518)
Tip revision: c5f30c8
File Mode Size
FoldProc.eca -rw-r--r-- 2.2 KB
IterProc.eca -rw-r--r-- 6.7 KB
LoopTransform.ec -rw-r--r-- 6.7 KB

back to top