Last released Jun 6, 2024
Specify what you want it to build, the AI asks for clarification, and then builds it.
Last released May 11, 2024
A python package for rounding polytopes.
Supported by