Skip to content

Generalized proofmode

Robbert Krebbersrequested to merge
gen_proofmode into master

This MR implements #91 (closed): it generalizes the proofmode to arbitrary BIs.

Edited by Ralf Jung

Merge request reports