Skip to content

feat(lean,#2874): preuves kernel conway+KT — maison-mère du split 4 unités (#15434 ✓, #15440, #15460 ✓, #15583) - #14821

Closed
jsboige wants to merge 13 commits into
mainfrom
feature/2874-conway-trivial-alexander
Closed

feat(lean,#2874): preuves kernel conway+KT — maison-mère du split 4 unités (#15434 ✓, #15440, #15460 ✓, #15583)#14821
jsboige wants to merge 13 commits into
mainfrom
feature/2874-conway-trivial-alexander

Merge origin/main into feature/2874-conway-trivial-alexander

aa63c86
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar