Upload Code

The open-source library for

formally verified code

Showing 2781 results
Sort by
Dafny Locked
File

Summary: DafnyBench code number 53

168,127 lines Updated Dec 5, 2024 ID: 54
Dafny Locked
File

Summary: DafnyBench code number 74

232,414 lines Updated Dec 5, 2024 ID: 75
Dafny Locked
File

Summary: DafnyBench code number 97

732,264 lines Updated Dec 5, 2024 ID: 98
Dafny Locked
File

Summary: DafnyBench code number 86

615,061 lines Updated Dec 5, 2024 ID: 87
Dafny Locked
File

Summary: DafnyBench code number 63

327,706 lines Updated Dec 5, 2024 ID: 64
Dafny Locked
File

Summary: DafnyBench code number 75

404,445 lines Updated Dec 5, 2024 ID: 76
Dafny Locked
File

Summary: DafnyBench code number 52

245,686 lines Updated Dec 5, 2024 ID: 53
Dafny Locked
File

Summary: DafnyBench code number 73

919,208 lines Updated Dec 5, 2024 ID: 74
Dafny Locked
File

Summary: DafnyBench code number 96

171,678 lines Updated Dec 5, 2024 ID: 97
Dafny Locked
File

Summary: DafnyBench code number 85

433,335 lines Updated Dec 5, 2024 ID: 86
Dafny Locked
File

Summary: DafnyBench code number 62

898,121 lines Updated Dec 5, 2024 ID: 63
Dafny Locked
File

Summary: DafnyBench code number 51

20,101 lines Updated Dec 5, 2024 ID: 52
Dafny Locked
File

Summary: DafnyBench code number 72

121,208 lines Updated Dec 5, 2024 ID: 73
Dafny Locked
File

Summary: DafnyBench code number 49

134,866 lines Updated Dec 5, 2024 ID: 50
Dafny Locked
File

Summary: DafnyBench code number 95

375,376 lines Updated Dec 5, 2024 ID: 96
Load more Results