1-2 of about 2 matches for site:verinum.org formally supported
https://verinum.org/
VeriNum | VeriNum: Formally Verified Numerical Methods VeriNum Andrew W. Appel , Princeton University David Bindel , Cornell University Jean-Baptiste Jeannin
https://verinum.org/
VeriNum | VeriNum: Formally Verified Numerical Methods VeriNum Andrew W. Appel , Princeton University David Bindel , Cornell University Jean-Baptiste Jeannin