Une MAJ de sécurité est nécessaire sur notre version actuelle. Elle sera effectuée lundi 02/08 entre 12h30 et 13h. L'interruption de service devrait durer quelques minutes (probablement moins de 5 minutes).

  • 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.
whybench.ml 14 KB