Skip to content

feat: more lemmas - #99

Open
vlad902 wants to merge 3 commits into
ooovi:mainfrom
Workshop-Polyhedra-In-Lean:more-lemmas
Open

feat: more lemmas#99
vlad902 wants to merge 3 commits into
ooovi:mainfrom
Workshop-Polyhedra-In-Lean:more-lemmas

delete lemmas for now

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

Annotations

1 warning
build
succeeded Sep 8, 2026 in 3m 32s