bkragl CocoR by: bkragl boogie-org dafny-lang .NET 5.0 This package targets .NET 5.0. The package is compatible with this framework or higher. .NET Core 3.1 This package targets .NET Core 3.1. The package is compatible with this framework or higher. 397,305 total downloads last updated 10 months ago Latest version: 2014.12.25 The compiler generator Coco/R