Upload Code

The open-source library for

formally verified code

Showing 2781 results
Sort by
Dafny Locked
File

Summary: DafnyBench code number 158

637,764 lines Updated Dec 5, 2024 ID: 158
Dafny Locked
File

Summary: DafnyBench code number 121

671,916 lines Updated Dec 5, 2024 ID: 122
Dafny Locked
File

Summary: DafnyBench code number 145

717,956 lines Updated Dec 5, 2024 ID: 145
Dafny Locked
File

Summary: DafnyBench code number 134

794,167 lines Updated Dec 5, 2024 ID: 134
Dafny Locked
File

Summary: DafnyBench code number 110

184,556 lines Updated Dec 5, 2024 ID: 111
Dafny Locked
File

Summary: DafnyBench code number 157

802,331 lines Updated Dec 5, 2024 ID: 157
Dafny Locked
File

Summary: DafnyBench code number 120

916,487 lines Updated Dec 5, 2024 ID: 121
Dafny Locked
File

Summary: DafnyBench code number 144

487,296 lines Updated Dec 5, 2024 ID: 144
Dafny Locked
File

Summary: DafnyBench code number 133

447,192 lines Updated Dec 5, 2024 ID: 133
Dafny Locked
File

Summary: DafnyBench code number 109

240,346 lines Updated Dec 5, 2024 ID: 110
Dafny Locked
File

Summary: DafnyBench code number 156

791,297 lines Updated Dec 5, 2024 ID: 156
Dafny Locked
File

Summary: DafnyBench code number 119

303,506 lines Updated Dec 5, 2024 ID: 120
Dafny Locked
File

Summary: DafnyBench code number 143

906,175 lines Updated Dec 5, 2024 ID: 143
Dafny Locked
File

Summary: DafnyBench code number 108

672,391 lines Updated Dec 5, 2024 ID: 109
Dafny Locked
File

Summary: DafnyBench code number 155

51,385 lines Updated Dec 5, 2024 ID: 155
Load more Results