search

au-ts / cogent

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

proof: remove kinding from wellformed_[record|sum]_wellformed_elem proof #274

Closed nelch closed 5 years ago

vjackson725 commented 5 years ago

Nice