Upload Code

The open-source library for

formally verified code

Showing 2781 results
Sort by
Dafny Locked
File

Summary: DafnyBench code number 58

446,904 lines Updated Dec 5, 2024 ID: 59
Dafny Locked
File

Summary: DafnyBench code number 81

713,618 lines Updated Dec 5, 2024 ID: 82
Dafny Locked
File

Summary: DafnyBench code number 45

433,220 lines Updated Dec 5, 2024 ID: 46
Dafny Locked
File

Summary: DafnyBench code number 91

805,174 lines Updated Dec 5, 2024 ID: 92
Dafny Locked
File

Summary: DafnyBench code number 68

768,510 lines Updated Dec 5, 2024 ID: 69
Dafny Locked
File

Summary: DafnyBench code number 80

650,654 lines Updated Dec 5, 2024 ID: 81
Dafny Locked
File

Summary: DafnyBench code number 57

743,458 lines Updated Dec 5, 2024 ID: 58
Dafny Locked
File

Summary: DafnyBench code number 102

135,807 lines Updated Dec 5, 2024 ID: 103
Dafny Locked
File

Summary: DafnyBench code number 90

59,442 lines Updated Dec 5, 2024 ID: 91
Dafny Locked
File

Summary: DafnyBench code number 67

67,366 lines Updated Dec 5, 2024 ID: 68
Dafny Locked
File

Summary: DafnyBench code number 79

179,883 lines Updated Dec 5, 2024 ID: 80
Dafny Locked
File

Summary: DafnyBench code number 56

756,795 lines Updated Dec 5, 2024 ID: 57
Dafny Locked
File

Summary: DafnyBench code number 101

567,763 lines Updated Dec 5, 2024 ID: 102
Dafny Locked
File

Summary: DafnyBench code number 89

830,678 lines Updated Dec 5, 2024 ID: 90
Dafny Locked
File

Summary: DafnyBench code number 66

856,107 lines Updated Dec 5, 2024 ID: 67
Load more Results