Slides for my talk "IntervalAlgebra.jl: linear algebra done rigorously" at JuliaCon 2021 - View it on GitHub