Skip to main content
Adds a new version of a proof. User must have the proof.update scope.
External DocumentationTo learn more, visit the Hyperproof documentation.

Parameters

Example Output