search

au-ts / cogent

Cogent Project
https://trustworthy.systems/projects/TS/cogent.pml
Other
158 stars 26 forks source link

proof: updated type_lub_type_glb_commut proof #276

Closed nelch closed 5 years ago

nelch commented 5 years ago

Well for some reason it wants to push 3 commits. Hopefully this is fine?

vjackson725 commented 5 years ago

On the git stuff, see if you can rebase on top of origin/proof-subtyping; that might fix it. If not, I can fix it up post merge.

nelch commented 5 years ago

Made a new pull request because fixing this pull request is hard: https://github.com/NICTA/cogent/pull/277