Upload Code

The open-source library for

formally verified code

Showing 2781 results
Sort by
Dafny Locked
File

Summary: DafnyBench code number 237

75,918 lines Updated Dec 5, 2024 ID: 237
Dafny Locked
File

Summary: DafnyBench code number 271

144,522 lines Updated Dec 5, 2024 ID: 271
Dafny Locked
File

Summary: DafnyBench code number 226

131,988 lines Updated Dec 5, 2024 ID: 226
Dafny Locked
File

Summary: DafnyBench code number 260

320,160 lines Updated Dec 5, 2024 ID: 260
Dafny Locked
File

Summary: DafnyBench code number 247

960,845 lines Updated Dec 5, 2024 ID: 247
Dafny Locked
File

Summary: DafnyBench code number 283

199,949 lines Updated Dec 5, 2024 ID: 283
Dafny Locked
File

Summary: DafnyBench code number 236

852,274 lines Updated Dec 5, 2024 ID: 236
Dafny Locked
File

Summary: DafnyBench code number 270

525,705 lines Updated Dec 5, 2024 ID: 270
Dafny Locked
File

Summary: DafnyBench code number 259

236,476 lines Updated Dec 5, 2024 ID: 259
Dafny Locked
File

Summary: DafnyBench code number 246

663,077 lines Updated Dec 5, 2024 ID: 246
Dafny Locked
File

Summary: DafnyBench code number 282

891,982 lines Updated Dec 5, 2024 ID: 282
Dafny Locked
File

Summary: DafnyBench code number 235

728,484 lines Updated Dec 5, 2024 ID: 235
Dafny Locked
File

Summary: DafnyBench code number 269

494,668 lines Updated Dec 5, 2024 ID: 269
Dafny Locked
File

Summary: DafnyBench code number 245

118,180 lines Updated Dec 5, 2024 ID: 245
Dafny Locked
File

Summary: DafnyBench code number 281

419,986 lines Updated Dec 5, 2024 ID: 281
Load more Results