Mentions légales du service

Skip to content
  • Quentin Garchery's avatar
    hybrid eliminate_if · 5d7a985a
    Quentin Garchery authored
    we continue to use the duplicating version of eliminate_if_term for
    atomic formulas but we replace if-then-else with epsilon in Tlet and Tcase
    5d7a985a