metareflection
/

dafny-annotator

Model card Files Files and versions Community

dafny-annotator / README.md

gpoesia's picture

initial commit

d6b2bae verified 3 days ago

|

history blame contribute delete

24 Bytes

metadata

license: mit