Explore projects
-
-
-
-
Updated
-
Updated
-
-
Updated
-
Why3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.
Updated -
Updated
-
-
Updated
-
Updated
-
Primary library for necro with standard tools (parse, type check, print, and transform Skeletal Semantics)
Updated -
implementation and metatheory of time credits and time receipts in Iris / Coq
Updated -
Updated
-
-
Coccinelle is a program matching and transformation engine which provides the language SmPL (Semantic Patch Language) for specifying desired matches and transformations in C code.
Updated -
Updated