• 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
itp_communication.ml 4.17 KB