Open AccessC-language floating-point proofs layered with VST and Flocq
Author(s) -
Andrew W. Appel,
Yves Bertot
Publication year - 2020
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
DOI - 10.6092/issn.1972-5787/11442
Subject(s) - mathematical proof , mathematics , point (geometry) , geometry