AKS Sorting Network

Lean Proof Dependency Graph

Status
Proved
Sorry
Axiom
Definition
Est. duration
done / n/a
days
weeks
months
Edges
all proved below
sorry/axiom below