Upload Code

The open-source library for

formally verified code

Showing 2781 results
Sort by
Dafny Locked
File

Summary: DafnyBench code number 161

633,727 lines Updated Dec 5, 2024 ID: 161
Dafny Locked
File

Summary: DafnyBench code number 217

204,415 lines Updated Dec 5, 2024 ID: 217
Dafny Locked
File

Summary: DafnyBench code number 194

817,023 lines Updated Dec 5, 2024 ID: 194
Dafny Locked
File

Summary: DafnyBench code number 171

191,519 lines Updated Dec 5, 2024 ID: 171
Dafny Locked
File

Summary: DafnyBench code number 206

840,588 lines Updated Dec 5, 2024 ID: 206
Dafny Locked
File

Summary: DafnyBench code number 183

967,375 lines Updated Dec 5, 2024 ID: 183
Dafny Locked
File

Summary: DafnyBench code number 216

840,132 lines Updated Dec 5, 2024 ID: 216
Dafny Locked
File

Summary: DafnyBench code number 193

750,649 lines Updated Dec 5, 2024 ID: 193
Dafny Locked
File

Summary: DafnyBench code number 170

502,560 lines Updated Dec 5, 2024 ID: 170
Dafny Locked
File

Summary: DafnyBench code number 205

246,534 lines Updated Dec 5, 2024 ID: 205
Dafny Locked
File

Summary: DafnyBench code number 182

457,401 lines Updated Dec 5, 2024 ID: 182
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
Load more Results