shortest-common-superstring

Here are 2 public repositories matching this topic...

buberlo / veriscs

First executable, machine-checked (Lean 4) 2-approximation for Shortest Common Superstring — a verified reference/oracle, packaged from openai/math family 128

bioinformatics algorithms theorem-proving formal-verification approximation-algorithms lean4 shortest-common-superstring verified-software

Updated Oct 7, 2026
Lean

rishigajjala / greedy-superstring-counterexample

Star

Exact counterexample to the Greedy Superstring Conjecture, with Python verifiers, Lean 4 certificate, and formal paper

combinatorics counterexample lean4 shortest-common-superstring

Updated Sep 3, 2026
Lean

Add this topic to your repo

To associate your repository with the shortest-common-superstring topic, visit your repo's landing page and select "manage topics."

Learn more