2811 results
Filter By
Language

Application

Type

Status

2811 results

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

2 ratings

Summary: DafnyBench code number 214

Dafny 606757 lines

ID: 1135

Type: 📄

Verified:

Package: DafnyBench code number 214

Published: 12/05/2024

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

No ratings

Summary: DafnyBench code number 172

Dafny 449916 lines

ID: 1093

Type: 📄

Verified:

Package: DafnyBench code number 172

Published: 12/05/2024

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

5 ratings

Summary: DafnyBench code number 209

Dafny 584655 lines

ID: 1130

Type: 📄

Verified:

Package: DafnyBench code number 209

Published: 12/05/2024

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

No ratings

Summary: DafnyBench code number 215

Dafny 332081 lines

ID: 1136

Type: 📄

Verified:

Package: DafnyBench code number 215

Published: 12/05/2024

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

No ratings

Summary: DafnyBench code number 173

Dafny 675021 lines

ID: 1094

Type: 📄

Verified:

Package: DafnyBench code number 173

Published: 12/05/2024

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

4 ratings

Summary: DafnyBench code number 210

Dafny 538468 lines

ID: 1131

Type: 📄

Verified:

Package: DafnyBench code number 210

Published: 12/05/2024

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

No ratings

Summary: DafnyBench code number 216

Dafny 840132 lines

ID: 1137

Type: 📄

Verified:

Package: DafnyBench code number 216

Published: 12/05/2024

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

No ratings

Summary: DafnyBench code number 174

Dafny 25357 lines

ID: 1095

Type: 📄

Verified:

Package: DafnyBench code number 174

Published: 12/05/2024

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

4 ratings

Summary: DafnyBench code number 211

Dafny 938375 lines

ID: 1132

Type: 📄

Verified:

Package: DafnyBench code number 211

Published: 12/05/2024

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