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. 399,665 total downloads last updated 7/4/2024 Latest version: 2014.12.25 The compiler generator Coco/R