We are hiring ! See our job offers.
https://github.com/EasyCrypt/easycrypt
History
Tip revision: 2225c23da9d27dc9acadc5be7512ea2a6542ee19 authored by Pierre-Yves Strub on 28 November 2022, 13:17:16 UTC
.
Tip revision: 2225c23
File Mode Size
tests.config -rw-r--r-- 326 bytes

back to top