geometry_help
Access help and documentation for the geometry prover and AG2 format to understand how to input and prove geometry theorems.
Instructions
Get help on the geometry prover and AG2 format
Input Schema
TableJSON Schema
| Name | Required | Description | Default |
|---|---|---|---|
No arguments | |||