2 search results for "author:"Pascal Cuoq""
Showing 1 - 2
-
frama-c
No documentation
Platform dedicated to the analysis of source code written in C31.0LGPL-2.1-onlyUsed by 5 other packages29 Jun 2025 -
Implements arithmetic and logical operations over arbitrary-precision integers1.14LGPL-2.0-only WITH OCaml-LGPL-linking-exceptionUsed by 125 other packages15 Jul 2024