Upload Code

The open-source library for

formally verified code

Showing 2781 results
Sort by
Dafny Locked
File

Summary: DafnyBench code number 34

55,356 lines Updated Dec 5, 2024 ID: 35
Dafny Locked
File

Summary: DafnyBench code number 11

710,211 lines Updated Dec 5, 2024 ID: 12
Dafny Locked
File

Summary: DafnyBench code number 0

964,848 lines Updated Dec 5, 2024 ID: 1
Dafny Locked
File

Summary: DafnyBench code number 44

172,112 lines Updated Dec 5, 2024 ID: 45
Dafny Locked
File

Summary: DafnyBench code number 21

296,037 lines Updated Dec 5, 2024 ID: 22
Dafny Locked
File

Summary: DafnyBench code number 33

499,401 lines Updated Dec 5, 2024 ID: 34
Dafny Locked
File

Summary: DafnyBench code number 10

71,236 lines Updated Dec 5, 2024 ID: 11
Dafny Locked
File

Summary: DafnyBench code number 43

809,113 lines Updated Dec 5, 2024 ID: 44
Dafny Locked
File

Summary: DafnyBench code number 20

354,184 lines Updated Dec 5, 2024 ID: 21
Dafny Locked
File

Summary: DafnyBench code number 32

147,216 lines Updated Dec 5, 2024 ID: 33
Dafny Locked
File

Summary: DafnyBench code number 9

881,989 lines Updated Dec 5, 2024 ID: 10
Dafny Locked
File

Summary: DafnyBench code number 42

291,152 lines Updated Dec 5, 2024 ID: 43
Dafny Locked
File

Summary: DafnyBench code number 19

158,294 lines Updated Dec 5, 2024 ID: 20
Dafny Locked
File

Summary: DafnyBench code number 31

412,227 lines Updated Dec 5, 2024 ID: 32
Dafny Locked
File

Summary: DafnyBench code number 8

446,236 lines Updated Dec 5, 2024 ID: 9
Load more Results