Skip to content

mirrormere: the full prime-free window (2L <= log 2) proved kernel-native, hypothesis-free, no Arb seam (draft; includes #606; grant after #607) - #615

Open
DrMurphyIsIn wants to merge 12 commits into
mainfrom
cl/kwin
Open

mirrormere: the full prime-free window (2L <= log 2) proved kernel-native, hypothesis-free, no Arb seam (draft; includes #606; grant after #607)#615
DrMurphyIsIn wants to merge 12 commits into
mainfrom
cl/kwin

missions: record the Lean-kernel-only Comparator pass on the KWin node

0a8f24d
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar