We are hiring ! See our job offers.
https://github.com/EasyCrypt/easycrypt
History
Tip revision: d61ce8fbba9ec694c29b4f1be704a7b3b2c6cda1 authored by Pierre-Yves Strub on 20 December 2017, 14:08:50 UTC
Tip revision: d61ce8f
File Mode Size
tests.config -rw-r--r-- 343 bytes

back to top