CakePB

Project information

Project ID: 54762423

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

Formal Verif... combinatoria... proof logging

23 Commits
1 Branch
1 Tag

README
LICENSE

Created on

February 09, 2024