//# sourceMappingURL=theorem-prover.d.ts.map