Skip to content

weaken BI axiom persistently_and_sep_elim and re-derive the stronger form

Ralf Jung requested to merge ralf/bi into gen_proofmode

Merge request reports