F
Formal Verification
Projects with this topic
-
A Formalization of Lambda Decision Diagram (LDD) in Coq.
Updated -
Formally verified proof checker for pseudo-Boolean reasoning for various combinatorial solving and optimization problems based on the CakeML ecosystem.
Updated