-
https://gitlab.mpi-sws.org/AVA/daisyNikita Zyuzin authored
Conflicts: coq/ErrorValidation.v coq/Expressions.v coq/FPRangeValidator.v coq/IEEE_connection.v coq/Infra/Ltacs.v coq/IntervalValidation.v coq/Typing.v
7dd4f12f
Conflicts: coq/ErrorValidation.v coq/Expressions.v coq/FPRangeValidator.v coq/IEEE_connection.v coq/Infra/Ltacs.v coq/IntervalValidation.v coq/Typing.v