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
AllCore.ec -rw-r--r-- 510 bytes
Bool.ec -rw-r--r-- 896 bytes
Core.ec -rw-r--r-- 9.2 KB
CoreInt.ec -rw-r--r-- 797 bytes
CoreMap.ec -rw-r--r-- 638 bytes
CoreReal.ec -rw-r--r-- 757 bytes

back to top