Slides for my talk "IntervalAlgebra.jl: linear algebra done rigorously" at JuliaCon 2021
Primary LanguageJuliaMIT LicenseMIT