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