Upload Code

The open-source library for

formally verified code

Showing 2781 results
Sort by
Dafny Locked
File

Summary: DafnyBench code number 203

135,644 lines Updated Dec 5, 2024 ID: 203
Dafny Locked
File

Summary: DafnyBench code number 180

913,993 lines Updated Dec 5, 2024 ID: 180
Dafny Locked
File

Summary: DafnyBench code number 224

920,851 lines Updated Dec 5, 2024 ID: 224
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
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
Load more Results