- In IntervalArithmetic.jl: - [ ] Implement the inverse functions `erfinv` and `erfcinv` using interval Newton method. - In IntervalContractors.jl: - [ ] Follow the pattern that is defined there to add the reverse function `erf_rev`.