Upload Code

The open-source library for

formally verified code

Showing 2781 results
Sort by
Dafny Locked
File

Summary: DafnyBench code number 387

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

Summary: DafnyBench code number 376

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

Summary: DafnyBench code number 398

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

Summary: DafnyBench code number 374

380,622 lines Updated Dec 5, 2024 ID: 374
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
Dafny Locked
File

Summary: DafnyBench code number 409

472,931 lines Updated Dec 5, 2024 ID: 409
Dafny Locked
File

Summary: DafnyBench code number 385

383,737 lines Updated Dec 5, 2024 ID: 385
Dafny Locked
File

Summary: DafnyBench code number 362

198,883 lines Updated Dec 5, 2024 ID: 362
Dafny Locked
File

Summary: DafnyBench code number 351

989,830 lines Updated Dec 5, 2024 ID: 351
Dafny Locked
File

Summary: DafnyBench code number 328

772,109 lines Updated Dec 5, 2024 ID: 328
Dafny Locked
File

Summary: DafnyBench code number 305

577,528 lines Updated Dec 5, 2024 ID: 305
Load more Results