The 17.0 major release is coming on May 16, 2024! This version brings many exciting improvements to GitLab, but also removes some deprecated features. We are introducing three breaking change windows during which we expect breaking changes to be deployed to GitLab.com. You can read more about it on our blogpost . The second breaking change window begins 2024-04-29 09:00 UTC and ends 2024-05-01 22:00 UTC.

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 Apr 25, 2024

5 5 0 3

Updated Apr 25, 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

0

Updated Mar 26, 2024

0 0 0 0

Updated Mar 26, 2024