Towards Closing the Trust Gap in the SAT Certification of Ramsey Numbers R(3,8) and R(3,9)

3 Bron–Kerbosch Algorithm

Lemma 9 length_wf
✓
#

Lean declarations

Proof ▶
Definition 10 Bron_Kerbosch_full
✓
#

Lean declarations

Lemma 11 Bron_Kerbosch_maximal_clique
✓
#

Uses

Lean declarations

Proof ▶
Definition 12 Bron_Kerbosch
✓
#

Uses

Lean declarations

Lemma 13 Bron_Kerbosch_correct
✓
#

Uses

Lean declarations

Proof ▶
Lemma 14 Bron_Kerbosch_maximum_clique
✓
#

Uses

Lean declarations

Proof ▶
Lemma 15 Bron_Kerbosch_cliqueNum
✓
#

Uses

Lean declarations

Proof ▶