Hugging Face model: metareflection/dafny-annotator
Author: metareflection
Created: 2025-07-14 16:55:48
Last modified: 2025-07-14 16:55:48
Likes: 0 | Downloads: 0
Tags: license:mit, region:us
Card metadata:
license: mit