The HOL-Light library of Multivariate Real analysis in Rocq

HAL (Le Centre pour la Communication Scientifique Directe) 2026 Open access

Read full text
Authors: Claudio Sacerdoti Coen, Abdelghani Alidra, Frédéric Blanqui
Cited by: 0

Fields of Study & Subjects

Logic programming and type systems Formal Methods in Verification Polynomial and algebraic computation

Publication details

Journal / source
HAL (Le Centre pour la Communication Scientifique Directe)
Publication date
11 January 2026
Language
EN