Model: metareflection/dafny-annotator
Author: metareflection
Tags: license:mit, region:us
Card metadata: license: mit
Likes: 0 | All-time downloads: 0
Created: 2025-07-14 16:55:48