search

utwente-fmt / vercors

The VerCors verification toolset for verifying parallel and concurrent software
https://utwente.nl/vercors
Mozilla Public License 2.0
51 stars 24 forks source link

Val sections of _ToCOL are out of sync #1204

Open pieter-bos opened 1 month ago

pieter-bos commented 1 month ago

e.g. \pow