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
tests.config -rw-r--r-- 325 bytes

back to top