Upload Code

The open-source library for

formally verified code

Showing 2781 results
Sort by
Dafny Locked
File

Summary: DafnyBench code number 412

818,857 lines Updated Dec 5, 2024 ID: 412
Dafny Locked
File

Summary: DafnyBench code number 377

221,249 lines Updated Dec 5, 2024 ID: 377
Dafny Locked
File

Summary: DafnyBench code number 375

496,844 lines Updated Dec 5, 2024 ID: 375
Dafny Locked
File

Summary: DafnyBench code number 399

888,939 lines Updated Dec 5, 2024 ID: 399
Dafny Locked
File

Summary: DafnyBench code number 387

400,820 lines Updated Dec 5, 2024 ID: 387
Dafny Locked
File

Summary: DafnyBench code number 364

968,375 lines Updated Dec 5, 2024 ID: 364
Dafny Locked
File

Summary: DafnyBench code number 411

243,212 lines Updated Dec 5, 2024 ID: 411
Dafny Locked
File

Summary: DafnyBench code number 376

342,357 lines Updated Dec 5, 2024 ID: 376
Dafny Locked
File

Summary: DafnyBench code number 374

380,622 lines Updated Dec 5, 2024 ID: 374
Dafny Locked
File

Summary: DafnyBench code number 398

183,699 lines Updated Dec 5, 2024 ID: 398
Dafny Locked
File

Summary: DafnyBench code number 363

113,005 lines Updated Dec 5, 2024 ID: 363
Dafny Locked
File

Summary: DafnyBench code number 410

132,401 lines Updated Dec 5, 2024 ID: 410
Dafny Locked
File

Summary: DafnyBench code number 386

710,406 lines Updated Dec 5, 2024 ID: 386
Dafny Locked
File

Summary: DafnyBench code number 397

9,853 lines Updated Dec 5, 2024 ID: 397
Dafny Locked
File

Summary: DafnyBench code number 373

135,421 lines Updated Dec 5, 2024 ID: 373
Load more Results