Skip to content

GitLab

Merged
Created by Robbert Krebbers@robbertkrebbersMaintainer

Generalized proofmode

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

Edited by Ralf Jung