https://github.com/EasyCrypt/easycrypt
History
Tip revision: 93748b3beeb1b7194645ecb7fcec5cf0c8424f1b authored by Pierre-Yves Strub on 01 December 2020, 09:41 UTC
Decimal numbers are now translated to irreducible fractions
Tip revision: 93748b3
File Mode Size
tests.config -rw-r--r-- 343 bytes

back to top