metareflection
/

dafny-annotator-vfp-autogen-4B

Model card Files Files and versions

dafny-annotator-vfp-autogen-4B

Commit History

stub

23215d8

mitnamin commited on Nov 9, 2025

Upload folder using huggingface_hub

4c894fd
verified

mitnamin commited on Nov 9, 2025

initial commit

491e07c
verified

mitnamin commited on Nov 9, 2025