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
base-box
build-box
templates
test-box
.gitignore -rw-r--r-- 12 bytes
Makefile -rw-r--r-- 708 bytes

back to top