Formal Verification

Formally verified proof checker for pseudo-Boolean reasoning for various combinatorial solving and optimization problems based on the CakeML ecosystem.

Experimental data and artifact data for project on Property Based Difference Verification with Conditions.