catala-proof index

Library catala-proof.verification

The entry point of this library is the module: Verification.