eef9104 5736180 eef9104 5736180
1
2
3
4
5
6
7
8
9
10
/- Copyright (c) 2026 Ahmad Ali Parr and others. SPDX-License-Identifier: LicenseRef-CPSC-ESCL-1.0 OR AGPL-3.0-only -/ import CPSC.Certificate import CPSC.Operator import CPSC.Lemmas import CPSC.Emitted
