Skip to content

add notation to define the PROP we use for a particular turnstile

Ralf Jung requested to merge ralf/bi_disambig into gen_proofmode

Merge request reports