2772 results
Filter By
Language

Application

Type

Status

2772 results

6 ratings

Summary: DafnyBench code number 405

Dafny 998154 lines

ID: 1326

Type: 📄

Verified:

File: DafnyBench code number 405

Published: 12/05/2024

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

No ratings

Summary: DafnyBench code number 362

Dafny 198883 lines

ID: 1283

Type: 📄

Verified:

File: DafnyBench code number 362

Published: 12/05/2024

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

3 ratings

Summary: DafnyBench code number 406

Dafny 593169 lines

ID: 1327

Type: 📄

Verified:

File: DafnyBench code number 406

Published: 12/05/2024

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

8 ratings

Summary: DafnyBench code number 363

Dafny 113005 lines

ID: 1284

Type: 📄

Verified:

File: DafnyBench code number 363

Published: 12/05/2024

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

6 ratings

Summary: DafnyBench code number 407

Dafny 971385 lines

ID: 1328

Type: 📄

Verified:

File: DafnyBench code number 407

Published: 12/05/2024

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

No ratings

Summary: DafnyBench code number 364

Dafny 968375 lines

ID: 1285

Type: 📄

Verified:

File: DafnyBench code number 364

Published: 12/05/2024

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

4 ratings

Summary: DafnyBench code number 408

Dafny 77417 lines

ID: 1329

Type: 📄

Verified:

File: DafnyBench code number 408

Published: 12/05/2024

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

No ratings

Summary: DafnyBench code number 365

Dafny 502857 lines

ID: 1286

Type: 📄

Verified:

File: DafnyBench code number 365

Published: 12/05/2024

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

No ratings

Summary: DafnyBench code number 409

Dafny 472931 lines

ID: 1330

Type: 📄

Verified:

File: DafnyBench code number 409

Published: 12/05/2024

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

5 ratings

Summary: DafnyBench code number 366

Dafny 609162 lines

ID: 1287

Type: 📄

Verified:

File: DafnyBench code number 366

Published: 12/05/2024

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

No ratings

Summary: DafnyBench code number 410

Dafny 132401 lines

ID: 1331

Type: 📄

Verified:

File: DafnyBench code number 410

Published: 12/05/2024

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

No ratings

Summary: DafnyBench code number 367

Dafny 537239 lines

ID: 1288

Type: 📄

Verified:

File: DafnyBench code number 367

Published: 12/05/2024

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

5 ratings

Summary: DafnyBench code number 411

Dafny 243212 lines

ID: 1332

Type: 📄

Verified:

File: DafnyBench code number 411

Published: 12/05/2024

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

6 ratings

Summary: DafnyBench code number 368

Dafny 858709 lines

ID: 1289

Type: 📄

Verified:

File: DafnyBench code number 368

Published: 12/05/2024

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

5 ratings

Summary: DafnyBench code number 373

Dafny 135421 lines

ID: 1294

Type: 📄

Verified:

File: DafnyBench code number 373

Published: 12/05/2024

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