Upload Code

The open-source library for

formally verified code

Showing 2781 results
Sort by
Dafny Locked
File

Summary: DafnyBench code number 237

75,918 lines Updated Dec 5, 2024 ID: 237
Dafny Locked
File

Summary: DafnyBench code number 283

199,949 lines Updated Dec 5, 2024 ID: 283
Dafny Locked
File

Summary: DafnyBench code number 260

320,160 lines Updated Dec 5, 2024 ID: 260
Dafny Locked
File

Summary: DafnyBench code number 226

131,988 lines Updated Dec 5, 2024 ID: 226
Dafny Locked
File

Summary: DafnyBench code number 270

525,705 lines Updated Dec 5, 2024 ID: 270
Dafny Locked
File

Summary: DafnyBench code number 247

960,845 lines Updated Dec 5, 2024 ID: 247
Dafny Locked
File

Summary: DafnyBench code number 213

567,235 lines Updated Dec 5, 2024 ID: 213
Dafny Locked
File

Summary: DafnyBench code number 190

234,709 lines Updated Dec 5, 2024 ID: 190
Dafny Locked
File

Summary: DafnyBench code number 167

167,769 lines Updated Dec 5, 2024 ID: 167
Dafny Locked
File

Summary: DafnyBench code number 202

849,175 lines Updated Dec 5, 2024 ID: 202
Dafny Locked
File

Summary: DafnyBench code number 179

376,696 lines Updated Dec 5, 2024 ID: 179
Dafny Locked
File

Summary: DafnyBench code number 223

141,783 lines Updated Dec 5, 2024 ID: 223
Dafny Locked
File

Summary: DafnyBench code number 200

889,293 lines Updated Dec 5, 2024 ID: 200
Dafny Locked
File

Summary: DafnyBench code number 212

76,472 lines Updated Dec 5, 2024 ID: 212
Dafny Locked
File

Summary: DafnyBench code number 189

856,768 lines Updated Dec 5, 2024 ID: 189
Load more Results