• 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
Name
Last commit
Last update
..
why3session.xml Loading commit data...
why3shapes.gz Loading commit data...