Upload Code

The open-source library for

formally verified code

Showing 2781 results
Sort by
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
Dafny Locked
File

Summary: DafnyBench code number 166

461,144 lines Updated Dec 5, 2024 ID: 166
Dafny Locked
File

Summary: DafnyBench code number 201

703,411 lines Updated Dec 5, 2024 ID: 201
Dafny Locked
File

Summary: DafnyBench code number 178

989,829 lines Updated Dec 5, 2024 ID: 178
Dafny Locked
File

Summary: DafnyBench code number 222

929,354 lines Updated Dec 5, 2024 ID: 222
Dafny Locked
File

Summary: DafnyBench code number 199

914,351 lines Updated Dec 5, 2024 ID: 199
Dafny Locked
File

Summary: DafnyBench code number 211

938,375 lines Updated Dec 5, 2024 ID: 211
Dafny Locked
File

Summary: DafnyBench code number 188

349,711 lines Updated Dec 5, 2024 ID: 188
Dafny Locked
File

Summary: DafnyBench code number 165

379,317 lines Updated Dec 5, 2024 ID: 165
Load more Results