Skip to content
GitLab
Explore
Sign in
iris
_CoqProject
Find file
Blame
Permalink
Jul 26, 2021
136c0066
use iris.proofmode.proofmode as the new root module for the proofmode
· 136c0066
Ralf Jung
authored
Jul 26, 2021
136c0066
use iris.proofmode.proofmode as the new root module for the proofmode
Ralf Jung
authored
Jul 26, 2021
Loading
