Mentions légales du service

Skip to content
  • Stefan Berghofer's avatar
    Tuned printing of theory names · d441d6a3
    Stefan Berghofer authored
    Theory names are assumed to be unique with respect to their path.
    Therefore, do not attempt to disambiguate them, which should result
    in more readable / predictable names.
    d441d6a3