Skip to content

GitLab

Generalized proofmode

Merged 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