Mondego

Results 1 repositories owned by Mondego

dafny-synthesis

22
Stars
0
Forks
Watchers

Towards AI-Assisted Synthesis of Verified Dafny Methods

verified publisher icon Mondego