Mondego Group, UC Irvine

icon indicating a website link http://mondego.ics.uci.edu icon indicating an email [email protected]

icon location Irvine, CA

Results 1 repositories owned by Mondego Group, UC Irvine

dafny-synthesis

30
Stars
0
Forks
Watchers

Towards AI-Assisted Synthesis of Verified Dafny Methods

verified publisher icon Mondego