Skip to content

feat: add Chapter 10 formalization on Hilbert’s third problem - #157

Open
AItoBit wants to merge 3 commits into
mo271:mainfrom
AItoBit:patch-4
Open

feat: add Chapter 10 formalization on Hilbert’s third problem#157
AItoBit wants to merge 3 commits into
mo271:mainfrom
AItoBit:patch-4

Chapter 10: mark cone_lemma @[nolint unusedArguments] (fix lint)

afbeca1
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 notice
style_lint
succeeded Oct 1, 2026 in 4s