Revision b1e197c030e66d588987087a193fc3a88d8bd5ed authored by Software Heritage on 16 April 2018, 09:06 UTC, committed by Software Heritage on 16 April 2018, 09:06 UTC
0 parent
History
File Mode Size
AUTHORS -rw-r--r-- 18 bytes
LICENSE -rw-r--r-- 1.0 KB
README.md -rw-r--r-- 887 bytes
_CoqProject -rw-r--r-- 175 bytes
agmpi.v -rw-r--r-- 89.3 KB
alg2.v -rw-r--r-- 26.3 KB
atan_derivative_improper_integral.v -rw-r--r-- 4.0 KB
computing.v -rw-r--r-- 319 bytes
elliptic_integral.v -rw-r--r-- 36.6 KB
filter_Rlt.v -rw-r--r-- 22.4 KB
generalities.v -rw-r--r-- 27.9 KB
pi_agm.c -rw-r--r-- 1.5 KB
rounding2.v -rw-r--r-- 44.1 KB
rounding_big.v -rw-r--r-- 3.7 KB
rounding_correct.v -rw-r--r-- 113.6 KB
test_compare_salamin_hpi.v -rw-r--r-- 1.4 KB

README.md

back to top