2819 results
Filter By
Language

Application

Type

Status

2819 results

3 ratings

Summary: DafnyBench code number 546

Dafny 44210 lines

ID: 1467

Type: 📄

Verified:

Package: DafnyBench code number 546

Published: 12/05/2024

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

No ratings

Summary: DafnyBench code number 541

Dafny 23950 lines

ID: 1462

Type: 📄

Verified:

Package: DafnyBench code number 541

Published: 12/05/2024

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

No ratings

Summary: DafnyBench code number 547

Dafny 784815 lines

ID: 1468

Type: 📄

Verified:

Package: DafnyBench code number 547

Published: 12/05/2024

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

No ratings

Summary: DafnyBench code number 542

Dafny 562029 lines

ID: 1463

Type: 📄

Verified:

Package: DafnyBench code number 542

Published: 12/05/2024

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

5 ratings

Summary: DafnyBench code number 548

Dafny 791443 lines

ID: 1469

Type: 📄

Verified:

Package: DafnyBench code number 548

Published: 12/05/2024

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

No ratings

Summary: DafnyBench code number 543

Dafny 738296 lines

ID: 1464

Type: 📄

Verified:

Package: DafnyBench code number 543

Published: 12/05/2024

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

No ratings

Summary: DafnyBench code number 549

Dafny 602769 lines

ID: 1470

Type: 📄

Verified:

Package: DafnyBench code number 549

Published: 12/05/2024

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

7 ratings

Summary: DafnyBench code number 544

Dafny 5393 lines

ID: 1465

Type: 📄

Verified:

Package: DafnyBench code number 544

Published: 12/05/2024

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

5 ratings

Summary: DafnyBench code number 550

Dafny 639517 lines

ID: 1471

Type: 📄

Verified:

Package: DafnyBench code number 550

Published: 12/05/2024

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

5 ratings

Summary: DafnyBench code number 545

Dafny 812078 lines

ID: 1466

Type: 📄

Verified:

Package: DafnyBench code number 545

Published: 12/05/2024

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

5 ratings

Summary: DafnyBench code number 551

Dafny 389277 lines

ID: 1472

Type: 📄

Verified:

Package: DafnyBench code number 551

Published: 12/05/2024

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

No ratings

Summary: DafnyBench code number 552

Dafny 27833 lines

ID: 1473

Type: 📄

Verified:

Package: DafnyBench code number 552

Published: 12/05/2024

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

No ratings

Summary: DafnyBench code number 553

Dafny 971335 lines

ID: 1474

Type: 📄

Verified:

Package: DafnyBench code number 553

Published: 12/05/2024

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

3 ratings

Summary: DafnyBench code number 554

Dafny 773175 lines

ID: 1475

Type: 📄

Verified:

Package: DafnyBench code number 554

Published: 12/05/2024

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

No ratings

Summary: DafnyBench code number 555

Dafny 951872 lines

ID: 1476

Type: 📄

Verified:

Package: DafnyBench code number 555

Published: 12/05/2024

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