https://github.com/EasyCrypt/easycrypt
History
Tip revision: 3787dc9536faa1460783c1470618a0b59d72b4de authored by Pierre Boutry on 02 June 2023, 13:47:12 UTC
scaled_monicM is provable for polynomials over fields but not over any integral domain
Tip revision: 3787dc9
File Mode Size
RealExp.ec -rw-r--r-- 25.1 KB
RealFLub.ec -rw-r--r-- 768 bytes
RealFun.ec -rw-r--r-- 1.4 KB
RealLub.ec -rw-r--r-- 2.9 KB
RealSeq.ec -rw-r--r-- 31.1 KB
RealSeries.ec -rw-r--r-- 46.1 KB

back to top