Attention une mise à jour du serveur va être effectuée le lundi 17 mai entre 13h et 13h30. Cette mise à jour va générer une interruption du service de quelques minutes.

  • Sylvain Dailler's avatar
    fixes #34 · eed540a1
    Sylvain Dailler authored
    Adding a coercion set to the naming_table used to type terms in arguments
    of tactics. Used the same process as in theory.ml to build the coercion
    map.
    eed540a1
why3session.xml 469 Bytes