VerCors 2.0 Released

2023-03-16

VerCors 2.0.0 has been released, and can be obtained here.