issues
search
utwente-fmt
/
vercors
The VerCors verification toolset for verifying parallel and concurrent software
https://utwente.nl/vercors
Mozilla Public License 2.0
55
stars
26
forks
source link
Add some simplify quantifiers examples
#1181
Closed
sakehl
closed
6 months ago