AI-assisted verification of Dafny Programs
Stars
20
Forks
4
Watchers
Open Issues
0
Overall repository health assessment
No package.json found
This might not be a Node.js project
User
34
commits
31
minimize and base
0512802
minimized proofs
ff2569a
one more model
6102239
one more config
c923503
latest tasker
fb69aa3
rename
3494f3c
typo
76ffd50
sketch here
02a6f4c
update to data using tasker and small tweaks
7b4666f
calc and forall in addition to assert and lemma call
b6ed558
modular vfp: axiomatize other lemmas
980c5da
remove semicolon from axiomatized lemmas
b249d85
attempt with dafny-tasker
d003d4f
changes for localized and VFP training (#3)
69dd47a
.gitignore emacs backup files
ad3acc2