• Sylvain Dailler's avatar
    Adding Edit_req · c0d087be
    Sylvain Dailler authored
    Unfinished work to retrieve manual proofs.
    (minor) added a use case for stack_trace
    c0d087be
controller_itp.mli 11.1 KB