Upload Code

The open-source library for

formally verified code

Showing 2781 results
Sort by
Dafny Locked
File

Summary: DafnyBench code number 160

995,842 lines Updated Dec 5, 2024 ID: 160
Dafny Locked
File

Summary: DafnyBench code number 137

931,164 lines Updated Dec 5, 2024 ID: 137
Dafny Locked
File

Summary: DafnyBench code number 125

614,782 lines Updated Dec 5, 2024 ID: 126
Dafny Locked
File

Summary: DafnyBench code number 147

485,594 lines Updated Dec 5, 2024 ID: 147
Dafny Locked
File

Summary: DafnyBench code number 123

34,844 lines Updated Dec 5, 2024 ID: 124
Dafny Locked
File

Summary: DafnyBench code number 112

455,047 lines Updated Dec 5, 2024 ID: 113
Dafny Locked
File

Summary: DafnyBench code number 159

781,827 lines Updated Dec 5, 2024 ID: 159
Dafny Locked
File

Summary: DafnyBench code number 136

763,788 lines Updated Dec 5, 2024 ID: 136
Dafny Locked
File

Summary: DafnyBench code number 146

127,893 lines Updated Dec 5, 2024 ID: 146
Dafny Locked
File

Summary: DafnyBench code number 122

610,118 lines Updated Dec 5, 2024 ID: 123
Dafny Locked
File

Summary: DafnyBench code number 111

201,743 lines Updated Dec 5, 2024 ID: 112
Dafny Locked
File

Summary: DafnyBench code number 158

637,764 lines Updated Dec 5, 2024 ID: 158
Dafny Locked
File

Summary: DafnyBench code number 135

629,258 lines Updated Dec 5, 2024 ID: 135
Dafny Locked
File

Summary: DafnyBench code number 145

717,956 lines Updated Dec 5, 2024 ID: 145
Dafny Locked
File

Summary: DafnyBench code number 121

671,916 lines Updated Dec 5, 2024 ID: 122
Load more Results