search

au-ts / cogent

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

Dargent cannot mention constants in Cogent #278

Open zilinc opened 5 years ago

zilinc commented 5 years ago

It'll be quite likely that Dargent and Cogent use a common set of constants, but right now there's no way to do so.