Hugging Face model: ayushchakravarthy/dafny-annotator-8B
Author: ayushchakravarthy
Created: 2025-09-23 16:31:32
Last modified: 2025-09-23 16:31:32
Likes: 0 | Downloads: 0
Tags: region:us
Card metadata: