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

#formalmethods