Skip to content
GitLab
Explore
Sign in
Iris
Iris
Repository
iris
iris
bi
derived_laws.v
Find file
Blame
History
Permalink
add lemmas 'intuitionistic' and 'intuitionistically_intro'
· 5c535b85
Ralf Jung
authored
Jun 13, 2021
5c535b85