-
= authored
Conflicts: coq/CertificateChecker.v coq/ErrorBounds.v coq/ErrorValidation.v coq/Expressions.v coq/IntervalValidation.v coq/ssaPrgs.v
57805bbd
Conflicts: coq/CertificateChecker.v coq/ErrorBounds.v coq/ErrorValidation.v coq/Expressions.v coq/IntervalValidation.v coq/ssaPrgs.v