We are hiring ! See our job offers.
https://github.com/EasyCrypt/easycrypt
History
Tip revision: 4c419f418fd315a44f710559d42730462e3c257d authored by Pierre-Yves Strub on 07 June 2021, 10:12:13 UTC
Tip revision: 4c419f4
File Mode Size
tests.config -rw-r--r-- 343 bytes

back to top