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
FoldProc.eca -rw-r--r-- 2.9 KB
IterProc.eca -rw-r--r-- 8.4 KB

back to top