Skip to content
GitLab

use iris.proofmode.proofmode as the new root module for the proofmode

Merged Ralf Jung requested to merge ralf/proofmode-import into master

This makes it consistent with bi.bi and base_logic.base_logic.

Edited by Ralf Jung