Geeks
ramonfmir
/
leanSOS
Sum-of-squares programming in Lean.
Primary Language
Lean
leanSOS GitHub
Markdown
Readme
0
Issues
1
Stargazer
2
Watchers
No issues in this repository yet.