metareflection
/

dafny-annotator

Model card Files Files and versions Community

dafny-annotator / README.md

gpoesia's picture

initial commit

d6b2bae verified 5 days ago

|

history blame contribute delete

24 Bytes

	---
	license: mit
	---