Upload Code

The open-source library for

formally verified code

Showing 2781 results
Sort by
Dafny Locked
File

Summary: DafnyBench code number 311

817,674 lines Updated Dec 5, 2024 ID: 311
Dafny Locked
File

Summary: DafnyBench code number 344

281,829 lines Updated Dec 5, 2024 ID: 344
Dafny Locked
File

Summary: DafnyBench code number 321

630,040 lines Updated Dec 5, 2024 ID: 321
Dafny Locked
File

Summary: DafnyBench code number 298

486,990 lines Updated Dec 5, 2024 ID: 298
Dafny Locked
File

Summary: DafnyBench code number 333

898,864 lines Updated Dec 5, 2024 ID: 333
Dafny Locked
File

Summary: DafnyBench code number 310

251,005 lines Updated Dec 5, 2024 ID: 310
Dafny Locked
File

Summary: DafnyBench code number 343

138,140 lines Updated Dec 5, 2024 ID: 343
Dafny Locked
File

Summary: DafnyBench code number 320

1,984 lines Updated Dec 5, 2024 ID: 320
Dafny Locked
File

Summary: DafnyBench code number 297

257,846 lines Updated Dec 5, 2024 ID: 297
Dafny Locked
File

Summary: DafnyBench code number 332

283,455 lines Updated Dec 5, 2024 ID: 332
Dafny Locked
File

Summary: DafnyBench code number 309

145,783 lines Updated Dec 5, 2024 ID: 309
Dafny Locked
File

Summary: DafnyBench code number 342

802,956 lines Updated Dec 5, 2024 ID: 342
Dafny Locked
File

Summary: DafnyBench code number 319

793,293 lines Updated Dec 5, 2024 ID: 319
Dafny Locked
File

Summary: DafnyBench code number 296

600,746 lines Updated Dec 5, 2024 ID: 296
Dafny Locked
File

Summary: DafnyBench code number 354

937,865 lines Updated Dec 5, 2024 ID: 354
Load more Results