3 search results for "author:"Thibaut Benjamin""
Showing 1 - 3
-
An infinity-categorical coherence typechecker1.0MITUsed by 1 other packages15 Oct 2024
-
A Coq plugin for the catt proof-assistant1.0MITUsed by 0 other packages15 Oct 2024
-
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