Veri-Code

community

Activity Feed Request to join this org

AI & ML interests

None defined yet.

Veri-Code 's datasets 2

Veri-Code/ReForm-DafnyComp-Benchmark

Viewer • Updated Oct 3 • 300 • 64 • 1

Veri-Code/ReForm-Python2Dafny-Dataset

Viewer • Updated Jul 25 • 17.5k • 62 • 2