2811 results
Filter By
Language

Application

Type

Status

2811 results

3 ratings

Summary: DafnyBench code number 217

Dafny 204415 lines

ID: 1138

Type: 📄

Verified:

Package: DafnyBench code number 217

Published: 12/05/2024

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

8 ratings

Summary: DafnyBench code number 175

Dafny 101720 lines

ID: 1096

Type: 📄

Verified:

Package: DafnyBench code number 175

Published: 12/05/2024

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

7 ratings

Summary: DafnyBench code number 218

Dafny 501682 lines

ID: 1139

Type: 📄

Verified:

Package: DafnyBench code number 218

Published: 12/05/2024

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

No ratings

Summary: DafnyBench code number 176

Dafny 432529 lines

ID: 1097

Type: 📄

Verified:

Package: DafnyBench code number 176

Published: 12/05/2024

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

No ratings

Summary: DafnyBench code number 219

Dafny 895162 lines

ID: 1140

Type: 📄

Verified:

Package: DafnyBench code number 219

Published: 12/05/2024

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

5 ratings

Summary: DafnyBench code number 177

Dafny 857483 lines

ID: 1098

Type: 📄

Verified:

Package: DafnyBench code number 177

Published: 12/05/2024

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

No ratings

Summary: DafnyBench code number 220

Dafny 970763 lines

ID: 1141

Type: 📄

Verified:

Package: DafnyBench code number 220

Published: 12/05/2024

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

No ratings

Summary: DafnyBench code number 178

Dafny 989829 lines

ID: 1099

Type: 📄

Verified:

Package: DafnyBench code number 178

Published: 12/05/2024

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

No ratings

Summary: DafnyBench code number 221

Dafny 168329 lines

ID: 1142

Type: 📄

Verified:

Package: DafnyBench code number 221

Published: 12/05/2024

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

No ratings

Summary: DafnyBench code number 179

Dafny 376696 lines

ID: 1100

Type: 📄

Verified:

Package: DafnyBench code number 179

Published: 12/05/2024

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

4 ratings

Summary: DafnyBench code number 222

Dafny 929354 lines

ID: 1143

Type: 📄

Verified:

Package: DafnyBench code number 222

Published: 12/05/2024

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

No ratings

Summary: DafnyBench code number 180

Dafny 913993 lines

ID: 1101

Type: 📄

Verified:

Package: DafnyBench code number 180

Published: 12/05/2024

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

2 ratings

Summary: DafnyBench code number 181

Dafny 439876 lines

ID: 1102

Type: 📄

Verified:

Package: DafnyBench code number 181

Published: 12/05/2024

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

No ratings

Summary: DafnyBench code number 223

Dafny 141783 lines

ID: 1144

Type: 📄

Verified:

Package: DafnyBench code number 223

Published: 12/05/2024

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

No ratings

Summary: DafnyBench code number 182

Dafny 457401 lines

ID: 1103

Type: 📄

Verified:

Package: DafnyBench code number 182

Published: 12/05/2024

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