Skip to content
GitLab
Explore
Sign in
Dmitry Khalanskiy
Iris
Repository
iris
theories
algebra
sprop.v
Find file
Blame
History
Permalink
Upred is isomorphic to some kind of monotonous SProp predicate. (WIP)
· 111318cb
Jacques-Henri Jourdan
authored
Apr 04, 2017
111318cb