P

proof logging

Projects with this topic

V

MIAO / Software / VeriPB

Proof checker for proof logging method using pseudo-Boolean reasoning for various combinatorial solving and optimization algorithms.

combinatoria... proof logging

5

Updated Dec 20, 2024

5 7 0 6

Updated Dec 20, 2024
C

MIAO / Software / CakePB

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

1

Updated Jul 23, 2024

1 0 0 1

Updated Jul 23, 2024