Upload Code

The open-source library for

formally verified code

Showing 2781 results
Sort by
Dafny Locked
File

Summary: DafnyBench code number 154

488,542 lines Updated Dec 5, 2024 ID: 154
Dafny Locked
File

Summary: DafnyBench code number 131

96,377 lines Updated Dec 5, 2024 ID: 131
Dafny Locked
File

Summary: DafnyBench code number 107

373,869 lines Updated Dec 5, 2024 ID: 108
Dafny Locked
File

Summary: DafnyBench code number 141

166,596 lines Updated Dec 5, 2024 ID: 141
Dafny Locked
File

Summary: DafnyBench code number 117

343,856 lines Updated Dec 5, 2024 ID: 118
Dafny Locked
File

Summary: DafnyBench code number 153

130,442 lines Updated Dec 5, 2024 ID: 153
Dafny Locked
File

Summary: DafnyBench code number 130

444,874 lines Updated Dec 5, 2024 ID: 130
Dafny Locked
File

Summary: DafnyBench code number 106

732,318 lines Updated Dec 5, 2024 ID: 107
Dafny Locked
File

Summary: DafnyBench code number 52

245,686 lines Updated Dec 5, 2024 ID: 53
Dafny Locked
File

Summary: DafnyBench code number 93

822,208 lines Updated Dec 5, 2024 ID: 94
Dafny Locked
File

Summary: DafnyBench code number 82

616,128 lines Updated Dec 5, 2024 ID: 83
Dafny Locked
File

Summary: DafnyBench code number 73

919,208 lines Updated Dec 5, 2024 ID: 74
Dafny Locked
File

Summary: DafnyBench code number 62

898,121 lines Updated Dec 5, 2024 ID: 63
Dafny Locked
File

Summary: DafnyBench code number 51

20,101 lines Updated Dec 5, 2024 ID: 52
Dafny Locked
File

Summary: DafnyBench code number 92

847,546 lines Updated Dec 5, 2024 ID: 93
Load more Results