Skip to content
GitLab
Explore
Sign in
Dan Frumin
ReLoC-v1
Repository
logrel-conc
theories
examples
par.v
Find file
Blame
History
Permalink
Simplify the notation for the relational judements
· ab35b735
Dan Frumin
authored
Dec 01, 2017
{E,E;Δ,Γ} ⊨ ... => {E;Δ,Γ} ⊨ ... {⊤,⊤;Δ,Γ} ⊨ ... => {Δ,Γ} ⊨ ...
ab35b735