https://github.com/EasyCrypt/easycrypt
History
Tip revision: 93748b3beeb1b7194645ecb7fcec5cf0c8424f1b authored by Pierre-Yves Strub on 01 December 2020, 09:41:56 UTC
Decimal numbers are now translated to irreducible fractions
Tip revision: 93748b3
File Mode Size
keywords -rwxr-xr-x 4.7 KB
license -rwxr-xr-x 7.2 KB
strip-comments -rwxr-xr-x 1.2 KB

back to top