Upload Code

The open-source library for

formally verified code

Showing 2781 results
Sort by
Dafny Locked
File

Summary: DafnyBench code number 255

90,163 lines Updated Dec 5, 2024 ID: 255
Dafny Locked
File

Summary: DafnyBench code number 231

777,577 lines Updated Dec 5, 2024 ID: 231
Dafny Locked
File

Summary: DafnyBench code number 288

448,896 lines Updated Dec 5, 2024 ID: 288
Dafny Locked
File

Summary: DafnyBench code number 265

325,644 lines Updated Dec 5, 2024 ID: 265
Dafny Locked
File

Summary: DafnyBench code number 241

152,384 lines Updated Dec 5, 2024 ID: 241
Dafny Locked
File

Summary: DafnyBench code number 277

741,185 lines Updated Dec 5, 2024 ID: 277
Dafny Locked
File

Summary: DafnyBench code number 254

675,930 lines Updated Dec 5, 2024 ID: 254
Dafny Locked
File

Summary: DafnyBench code number 275

283,491 lines Updated Dec 5, 2024 ID: 275
Dafny Locked
File

Summary: DafnyBench code number 230

994,036 lines Updated Dec 5, 2024 ID: 230
Dafny Locked
File

Summary: DafnyBench code number 287

564,404 lines Updated Dec 5, 2024 ID: 287
Dafny Locked
File

Summary: DafnyBench code number 264

549,803 lines Updated Dec 5, 2024 ID: 264
Dafny Locked
File

Summary: DafnyBench code number 240

962,129 lines Updated Dec 5, 2024 ID: 240
Dafny Locked
File

Summary: DafnyBench code number 276

318,332 lines Updated Dec 5, 2024 ID: 276
Dafny Locked
File

Summary: DafnyBench code number 253

429,829 lines Updated Dec 5, 2024 ID: 253
Dafny Locked
File

Summary: DafnyBench code number 274

33,041 lines Updated Dec 5, 2024 ID: 274
Load more Results