Skip to content

Merge remote-tracking branch 'upstream/main'

2ff2802
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Merged

Fill all Concrete.lean sorries: zero-sorry Hecke operator chain (v3) #70

Merge remote-tracking branch 'upstream/main'
2ff2802
Select commit
Loading
Failed to load commit list.

Annotations

1 warning
on-merge
succeeded Apr 9, 2026 in 3s