VeriNum: Formally Verified Numerical Methods (via sanxiyn) — discussion

#formalmethods