Skip to content
GitLab
Explore
Sign in
Iris
Iris
Merge requests
!724
use iris.proofmode.proofmode as the new root module for the proofmode
Code
Review changes
Check out branch
Download
Patches
Plain diff
Ralf Jung
requested to merge
ralf/proofmode-import
into
master
Jul 26, 2021
Overview
4
Commits
3
Pipelines
2
Changes
51
Expand
This makes it consistent with
bi.bi
and
base_logic.base_logic
.
Edited
Jul 27, 2021
by
Ralf Jung
Merge request reports