Upload Code

The open-source library for

formally verified code

Showing 2781 results
Sort by
Dafny Locked
File

Summary: DafnyBench code number 88

31,315 lines Updated Dec 5, 2024 ID: 89
Dafny Locked
File

Summary: DafnyBench code number 65

737,722 lines Updated Dec 5, 2024 ID: 66
Dafny Locked
File

Summary: DafnyBench code number 100

234,336 lines Updated Dec 5, 2024 ID: 101
Dafny Locked
File

Summary: DafnyBench code number 77

411,573 lines Updated Dec 5, 2024 ID: 78
Dafny Locked
File

Summary: DafnyBench code number 54

103,578 lines Updated Dec 5, 2024 ID: 55
Dafny Locked
File

Summary: DafnyBench code number 98

146,287 lines Updated Dec 5, 2024 ID: 99
Dafny Locked
File

Summary: DafnyBench code number 41

882,215 lines Updated Dec 5, 2024 ID: 42
Dafny Locked
File

Summary: DafnyBench code number 18

812,429 lines Updated Dec 5, 2024 ID: 19
Dafny Locked
File

Summary: DafnyBench code number 30

637,972 lines Updated Dec 5, 2024 ID: 31
Dafny Locked
File

Summary: DafnyBench code number 7

449,731 lines Updated Dec 5, 2024 ID: 8
Dafny Locked
File

Summary: DafnyBench code number 40

373,307 lines Updated Dec 5, 2024 ID: 41
Dafny Locked
File

Summary: DafnyBench code number 17

301,284 lines Updated Dec 5, 2024 ID: 18
Dafny Locked
File

Summary: DafnyBench code number 29

925,878 lines Updated Dec 5, 2024 ID: 30
Dafny Locked
File

Summary: DafnyBench code number 6

600,806 lines Updated Dec 5, 2024 ID: 7
Dafny Locked
File

Summary: DafnyBench code number 39

661,440 lines Updated Dec 5, 2024 ID: 40
Load more Results