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 #275

Closed nelch closed 5 years ago

nelch commented 5 years ago

It's pushing the last 3 commits for some reason