search

au-ts / cogent

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

Remove duplicate lemma bang_preserves_wellformed #391

Closed amblafont closed 3 years ago

amblafont commented 3 years ago

This is the same lemma as bang_wellformed