Closed david-a-wheeler closed 1 year ago
This documents fundamental (meta) proof information: description, variables, and disjoints.
This documents fundamental (meta) proof information: description, variables, and disjoints.