Back to all plugins

jacobian

@morluto

194 stars

About

Composable mathematics tools for agents

Description collected from the plugin's own repository or package metadata.

Topics

ai-agentsautomated-theorem-provingcomputer-algebracordisdsherdoserdos-problemformal-methods