Formalization of real analysis: a survey of proof assistants and libraries
BOLDO, SYLVIE, LELAY, CATHERINE, MELQUIOND, GUILLAUMELanguage:
english
Journal:
Mathematical Structures in Computer Science
DOI:
10.1017/s0960129514000437
Date:
January, 2015
File:
PDF, 459 KB
english, 2015