Upload Code

The open-source library for

formally verified code

Showing 2781 results
Sort by
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
Dafny Locked
File

Summary: DafnyBench code number 132

147,265 lines Updated Dec 5, 2024 ID: 132
Dafny Locked
File

Summary: DafnyBench code number 142

681,193 lines Updated Dec 5, 2024 ID: 142
Dafny Locked
File

Summary: DafnyBench code number 118

867,015 lines Updated Dec 5, 2024 ID: 119
Load more Results