Skip to content

Generalized proofmode

Robbert Krebbers requested 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