• François Bobot's avatar
    Why3session : a new why3 program · da5b5d18
    François Bobot authored
    It's goal is to allow to view and modify sessions.
    
    Currently three sub-commands :
    info : can give the provers used, pretty-print in ascii a session,
         can give the corresponding directory
    mod : allow to set obsolete, or modify the archive state of proof attempt
        which corresponds to selected provers
    copy : copy a proof attempt by modifing its prover
    da5b5d18
main.ml 19.8 KB