Mentions légales du service

Skip to content
C

compalg

Project ID: 13341

Providing comparison functions between numbers that are sums of a rational number and a square root, with proofs in Coq+mathematlcal components