2791 results
Filter By
Language

Application

Type

Status

2791 results

4 ratings

Summary: DafnyBench code number 245

Dafny 118180 lines

ID: 1166

Type: 📄

Verified:

Package: DafnyBench code number 245

Published: 12/05/2024

Menu Icon Download Code Menu Icon View Code Menu Icon Edit Code

No ratings

Summary: DafnyBench code number 282

Dafny 891982 lines

ID: 1203

Type: 📄

Verified:

Package: DafnyBench code number 282

Published: 12/05/2024

Menu Icon Download Code Menu Icon View Code Menu Icon Edit Code

5 ratings

Summary: DafnyBench code number 240

Dafny 962129 lines

ID: 1161

Type: 📄

Verified:

Package: DafnyBench code number 240

Published: 12/05/2024

Menu Icon Download Code Menu Icon View Code Menu Icon Edit Code

7 ratings

Summary: DafnyBench code number 246

Dafny 663077 lines

ID: 1167

Type: 📄

Verified:

Package: DafnyBench code number 246

Published: 12/05/2024

Menu Icon Download Code Menu Icon View Code Menu Icon Edit Code

No ratings

Summary: DafnyBench code number 283

Dafny 199949 lines

ID: 1204

Type: 📄

Verified:

Package: DafnyBench code number 283

Published: 12/05/2024

Menu Icon Download Code Menu Icon View Code Menu Icon Edit Code

No ratings

Summary: DafnyBench code number 241

Dafny 152384 lines

ID: 1162

Type: 📄

Verified:

Package: DafnyBench code number 241

Published: 12/05/2024

Menu Icon Download Code Menu Icon View Code Menu Icon Edit Code

No ratings

Summary: DafnyBench code number 247

Dafny 960845 lines

ID: 1168

Type: 📄

Verified:

Package: DafnyBench code number 247

Published: 12/05/2024

Menu Icon Download Code Menu Icon View Code Menu Icon Edit Code

No ratings

Summary: DafnyBench code number 284

Dafny 323801 lines

ID: 1205

Type: 📄

Verified:

Package: DafnyBench code number 284

Published: 12/05/2024

Menu Icon Download Code Menu Icon View Code Menu Icon Edit Code

4 ratings

Summary: DafnyBench code number 248

Dafny 814992 lines

ID: 1169

Type: 📄

Verified:

Package: DafnyBench code number 248

Published: 12/05/2024

Menu Icon Download Code Menu Icon View Code Menu Icon Edit Code

No ratings

Summary: DafnyBench code number 285

Dafny 19155 lines

ID: 1206

Type: 📄

Verified:

Package: DafnyBench code number 285

Published: 12/05/2024

Menu Icon Download Code Menu Icon View Code Menu Icon Edit Code

1 ratings

Summary: DafnyBench code number 249

Dafny 192427 lines

ID: 1170

Type: 📄

Verified:

Package: DafnyBench code number 249

Published: 12/05/2024

Menu Icon Download Code Menu Icon View Code Menu Icon Edit Code

No ratings

Summary: DafnyBench code number 286

Dafny 124374 lines

ID: 1207

Type: 📄

Verified:

Package: DafnyBench code number 286

Published: 12/05/2024

Menu Icon Download Code Menu Icon View Code Menu Icon Edit Code

4 ratings

Summary: DafnyBench code number 250

Dafny 517158 lines

ID: 1171

Type: 📄

Verified:

Package: DafnyBench code number 250

Published: 12/05/2024

Menu Icon Download Code Menu Icon View Code Menu Icon Edit Code

No ratings

Summary: DafnyBench code number 287

Dafny 564404 lines

ID: 1208

Type: 📄

Verified:

Package: DafnyBench code number 287

Published: 12/05/2024

Menu Icon Download Code Menu Icon View Code Menu Icon Edit Code

No ratings

Summary: DafnyBench code number 288

Dafny 448896 lines

ID: 1209

Type: 📄

Verified:

Package: DafnyBench code number 288

Published: 12/05/2024

Menu Icon Download Code Menu Icon View Code Menu Icon Edit Code