3 search results for "author:"Loïc Correnson""
Showing 1 - 3
-
Floating point numbers library extracted from the Flocq Coq Library0.1LGPL-2.1Used by 2 other packages30 May 2022
-
Platform dedicated to the analysis of source code written in C28.1LGPL-2.1-onlyUsed by 4 other packages04 Mar 2024
-
frama-c-base
No documentation
Platform dedicated to the analysis of source code written in C.15.0LGPL-2.1-onlyUsed by 2 other packages30 Oct 2018