Upload Code

The open-source library for

formally verified code

Showing 2781 results
Sort by
Dafny Locked
File

Summary: DafnyBench code number 176

432,529 lines Updated Dec 5, 2024 ID: 176
Dafny Locked
File

Summary: DafnyBench code number 197

74,362 lines Updated Dec 5, 2024 ID: 197
Dafny Locked
File

Summary: DafnyBench code number 174

25,357 lines Updated Dec 5, 2024 ID: 174
Dafny Locked
File

Summary: DafnyBench code number 220

970,763 lines Updated Dec 5, 2024 ID: 220
Dafny Locked
File

Summary: DafnyBench code number 186

712,199 lines Updated Dec 5, 2024 ID: 186
Dafny Locked
File

Summary: DafnyBench code number 163

4,361 lines Updated Dec 5, 2024 ID: 163
Dafny Locked
File

Summary: DafnyBench code number 209

584,655 lines Updated Dec 5, 2024 ID: 209
Dafny Locked
File

Summary: DafnyBench code number 173

675,021 lines Updated Dec 5, 2024 ID: 173
Dafny Locked
File

Summary: DafnyBench code number 219

895,162 lines Updated Dec 5, 2024 ID: 219
Dafny Locked
File

Summary: DafnyBench code number 196

714,774 lines Updated Dec 5, 2024 ID: 196
Dafny Locked
File

Summary: DafnyBench code number 185

421,244 lines Updated Dec 5, 2024 ID: 185
Dafny Locked
File

Summary: DafnyBench code number 162

181,108 lines Updated Dec 5, 2024 ID: 162
Dafny Locked
File

Summary: DafnyBench code number 208

794,935 lines Updated Dec 5, 2024 ID: 208
Dafny Locked
File

Summary: DafnyBench code number 172

449,916 lines Updated Dec 5, 2024 ID: 172
Dafny Locked
File

Summary: DafnyBench code number 218

501,682 lines Updated Dec 5, 2024 ID: 218
Load more Results