Upload Code

The open-source library for

formally verified code

Showing 2781 results
Sort by
Dafny Locked
File

Summary: DafnyBench code number 61

387,632 lines Updated Dec 5, 2024 ID: 62
Dafny Locked
File

Summary: DafnyBench code number 50

284,940 lines Updated Dec 5, 2024 ID: 51
Dafny Locked
File

Summary: DafnyBench code number 71

562,278 lines Updated Dec 5, 2024 ID: 72
Dafny Locked
File

Summary: DafnyBench code number 48

796,463 lines Updated Dec 5, 2024 ID: 49
Dafny Locked
File

Summary: DafnyBench code number 94

568,400 lines Updated Dec 5, 2024 ID: 95
Dafny Locked
File

Summary: DafnyBench code number 83

939,784 lines Updated Dec 5, 2024 ID: 84
Dafny Locked
File

Summary: DafnyBench code number 60

680,014 lines Updated Dec 5, 2024 ID: 61
Dafny Locked
File

Summary: DafnyBench code number 47

949,150 lines Updated Dec 5, 2024 ID: 48
Dafny Locked
File

Summary: DafnyBench code number 93

822,208 lines Updated Dec 5, 2024 ID: 94
Dafny Locked
File

Summary: DafnyBench code number 70

896,726 lines Updated Dec 5, 2024 ID: 71
Dafny Locked
File

Summary: DafnyBench code number 59

4,145 lines Updated Dec 5, 2024 ID: 60
Dafny Locked
File

Summary: DafnyBench code number 82

616,128 lines Updated Dec 5, 2024 ID: 83
Dafny Locked
File

Summary: DafnyBench code number 46

649,762 lines Updated Dec 5, 2024 ID: 47
Dafny Locked
File

Summary: DafnyBench code number 92

847,546 lines Updated Dec 5, 2024 ID: 93
Dafny Locked
File

Summary: DafnyBench code number 69

640,451 lines Updated Dec 5, 2024 ID: 70
Load more Results