Skip to content

feat(Frontier/TensorNetwork): entries of the Lemma D.2 incidence network and their native certificate - #2087

Merged
SamuelSchlesinger merged 46 commits into
mainfrom
claude/lemma-d2-entry
Nov 2, 2026
Merged

feat(Frontier/TensorNetwork): entries of the Lemma D.2 incidence network and their native certificate#2087
SamuelSchlesinger merged 46 commits into
mainfrom
claude/lemma-d2-entry

chore: regenerate Complexity.lean after merging main

aed5040
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 notice
check-title
succeeded Nov 2, 2026 in 4s