Upload Code

The open-source library for

formally verified code

Showing 2781 results
Sort by
Dafny Locked
File

Summary: DafnyBench code number 228

220,102 lines Updated Dec 5, 2024 ID: 228
Dafny Locked
File

Summary: DafnyBench code number 251

8,509 lines Updated Dec 5, 2024 ID: 251
Dafny Locked
File

Summary: DafnyBench code number 272

145,494 lines Updated Dec 5, 2024 ID: 272
Dafny Locked
File

Summary: DafnyBench code number 249

192,427 lines Updated Dec 5, 2024 ID: 249
Dafny Locked
File

Summary: DafnyBench code number 284

323,801 lines Updated Dec 5, 2024 ID: 284
Dafny Locked
File

Summary: DafnyBench code number 261

891,372 lines Updated Dec 5, 2024 ID: 261
Dafny Locked
File

Summary: DafnyBench code number 238

822,768 lines Updated Dec 5, 2024 ID: 238
Dafny Locked
File

Summary: DafnyBench code number 227

123,213 lines Updated Dec 5, 2024 ID: 227
Dafny Locked
File

Summary: DafnyBench code number 271

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

Summary: DafnyBench code number 248

814,992 lines Updated Dec 5, 2024 ID: 248
Dafny Locked
File

Summary: DafnyBench code number 283

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

Summary: DafnyBench code number 260

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

Summary: DafnyBench code number 237

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

Summary: DafnyBench code number 226

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

Summary: DafnyBench code number 270

525,705 lines Updated Dec 5, 2024 ID: 270
Load more Results