Skip to content

Chapter 11: formalize Theorem 1 (the Sylvester–Gallai theorem) - #140

Merged
mo271 merged 1 commit into
mo271:mainfrom
Solarys431:chapter11-sylvester-gallai
Aug 25, 2026
Merged

Chapter 11: formalize Theorem 1 (the Sylvester–Gallai theorem)#140
mo271 merged 1 commit into
mo271:mainfrom
Solarys431:chapter11-sylvester-gallai

Chapter 11: formalize Theorem 1 (the Sylvester–Gallai theorem)

2b73c07
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Build project
succeeded Jul 14, 2026 in 9m 43s