orchestrata_ultimate.verification.proofs
Reference › orchestrata_ultimate › verification › proofs › init
Docstring-only package marker; it re-exports nothing. The code is in verifier.
At a glance
| Source | src/orchestrata_ultimate/verification/proofs/__init__.py |
| Lines of code | 1 |
| Classes | 0 |
| Functions | 0 |
| Imports (internal) | none |
| Imported by | none |
| Tests that import it | none |
Class diagram
No classes; see Functions.
Dependency diagram
No internal imports and no importers.
API
No public API: the module defines no classes, functions or constants.
Source
"""Proof verification (4 proof types)."""