• François Bobot's avatar
    whybench : First try for a tool and an API for making bench · 1b799e39
    François Bobot authored
    The final goal is to compare provers, axiomatics and
    transformations on specified goals. We also want to have different output
    
    Bench.tool represents the provers, axiomatics or transformations that we
    want to compare.
    Bench.prob represents on what we want to compare them. The final task are
    generated from an environnement and possibly with transformations.
    
    Currently only provers can be compared.
    1b799e39
bench.mli 1.01 KB