Skip to content

mirrormere: Weil window positivity past the prime-free boundary to L = 1/2, kernel-native, no Arb (draft; stacked on #615; grant after #607) - #619

Open
DrMurphyIsIn wants to merge 13 commits into
cl/kwinfrom
cl/kwin2
Open

mirrormere: Weil window positivity past the prime-free boundary to L = 1/2, kernel-native, no Arb (draft; stacked on #615; grant after #607)#619
DrMurphyIsIn wants to merge 13 commits into
cl/kwinfrom
cl/kwin2

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

63d9e7b
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar