Upload Code

The open-source library for

formally verified code

Showing 2781 results
Sort by
Dafny Locked
File

Summary: DafnyBench code number 508

103,002 lines Updated Dec 5, 2024 ID: 508
Dafny Locked
File

Summary: DafnyBench code number 485

242,993 lines Updated Dec 5, 2024 ID: 485
Dafny Locked
File

Summary: DafnyBench code number 449

641,066 lines Updated Dec 5, 2024 ID: 449
Dafny Locked
File

Summary: DafnyBench code number 426

555,884 lines Updated Dec 5, 2024 ID: 426
Dafny Locked
File

Summary: DafnyBench code number 415

739,392 lines Updated Dec 5, 2024 ID: 415
Dafny Locked
File

Summary: DafnyBench code number 461

736,168 lines Updated Dec 5, 2024 ID: 461
Dafny Locked
File

Summary: DafnyBench code number 438

237,896 lines Updated Dec 5, 2024 ID: 438
Dafny Locked
File

Summary: DafnyBench code number 427

873,880 lines Updated Dec 5, 2024 ID: 427
Dafny Locked
File

Summary: DafnyBench code number 448

119,758 lines Updated Dec 5, 2024 ID: 448
Dafny Locked
File

Summary: DafnyBench code number 425

968,512 lines Updated Dec 5, 2024 ID: 425
Dafny Locked
File

Summary: DafnyBench code number 460

369,370 lines Updated Dec 5, 2024 ID: 460
Dafny Locked
File

Summary: DafnyBench code number 437

255,975 lines Updated Dec 5, 2024 ID: 437
Dafny Locked
File

Summary: DafnyBench code number 470

809,560 lines Updated Dec 5, 2024 ID: 470
Dafny Locked
File

Summary: DafnyBench code number 447

985,908 lines Updated Dec 5, 2024 ID: 447
Dafny Locked
File

Summary: DafnyBench code number 424

762,226 lines Updated Dec 5, 2024 ID: 424
Load more Results