Upload Code

The open-source library for

formally verified code

Showing 2781 results
Sort by
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
Dafny Locked
File

Summary: DafnyBench code number 331

506,136 lines Updated Dec 5, 2024 ID: 331
Dafny Locked
File

Summary: DafnyBench code number 308

492,637 lines Updated Dec 5, 2024 ID: 308
Dafny Locked
File

Summary: DafnyBench code number 341

958,881 lines Updated Dec 5, 2024 ID: 341
Dafny Locked
File

Summary: DafnyBench code number 318

321,494 lines Updated Dec 5, 2024 ID: 318
Dafny Locked
File

Summary: DafnyBench code number 295

581,961 lines Updated Dec 5, 2024 ID: 295
Dafny Locked
File

Summary: DafnyBench code number 353

118,082 lines Updated Dec 5, 2024 ID: 353
Dafny Locked
File

Summary: DafnyBench code number 330

749,076 lines Updated Dec 5, 2024 ID: 330
Dafny Locked
File

Summary: DafnyBench code number 307

439,134 lines Updated Dec 5, 2024 ID: 307
Dafny Locked
File

Summary: DafnyBench code number 340

663,816 lines Updated Dec 5, 2024 ID: 340
Dafny Locked
File

Summary: DafnyBench code number 317

938,058 lines Updated Dec 5, 2024 ID: 317
Dafny Locked
File

Summary: DafnyBench code number 294

436,353 lines Updated Dec 5, 2024 ID: 294
Dafny Locked
File

Summary: DafnyBench code number 352

217,514 lines Updated Dec 5, 2024 ID: 352
Dafny Locked
File

Summary: DafnyBench code number 329

413,081 lines Updated Dec 5, 2024 ID: 329
Load more Results