2778 results
Filter By
Language

Application

Type

Status

2778 results

6 ratings

Summary: DafnyBench code number 605

Dafny 731216 lines

ID: 1526

Type: 📄

Verified:

File: DafnyBench code number 605

Published: 12/05/2024

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

4 ratings

Summary: DafnyBench code number 600

Dafny 692999 lines

ID: 1521

Type: 📄

Verified:

File: DafnyBench code number 600

Published: 12/05/2024

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

No ratings

Summary: DafnyBench code number 606

Dafny 903525 lines

ID: 1527

Type: 📄

Verified:

File: DafnyBench code number 606

Published: 12/05/2024

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

No ratings

Summary: DafnyBench code number 601

Dafny 768303 lines

ID: 1522

Type: 📄

Verified:

File: DafnyBench code number 601

Published: 12/05/2024

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

No ratings

Summary: DafnyBench code number 607

Dafny 323973 lines

ID: 1528

Type: 📄

Verified:

File: DafnyBench code number 607

Published: 12/05/2024

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

No ratings

Summary: DafnyBench code number 602

Dafny 762518 lines

ID: 1523

Type: 📄

Verified:

File: DafnyBench code number 602

Published: 12/05/2024

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

No ratings

Summary: DafnyBench code number 603

Dafny 507681 lines

ID: 1524

Type: 📄

Verified:

File: DafnyBench code number 603

Published: 12/05/2024

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

8 ratings

Summary: DafnyBench code number 608

Dafny 909292 lines

ID: 1529

Type: 📄

Verified:

File: DafnyBench code number 608

Published: 12/05/2024

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

7 ratings

Summary: DafnyBench code number 604

Dafny 250852 lines

ID: 1525

Type: 📄

Verified:

File: DafnyBench code number 604

Published: 12/05/2024

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

6 ratings

Summary: DafnyBench code number 609

Dafny 574539 lines

ID: 1530

Type: 📄

Verified:

File: DafnyBench code number 609

Published: 12/05/2024

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

7 ratings

Summary: DafnyBench code number 610

Dafny 144818 lines

ID: 1531

Type: 📄

Verified:

File: DafnyBench code number 610

Published: 12/05/2024

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

No ratings

Summary: DafnyBench code number 611

Dafny 474 lines

ID: 1532

Type: 📄

Verified:

File: DafnyBench code number 611

Published: 12/05/2024

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

No ratings

Summary: DafnyBench code number 612

Dafny 567916 lines

ID: 1533

Type: 📄

Verified:

File: DafnyBench code number 612

Published: 12/05/2024

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

No ratings

Summary: DafnyBench code number 613

Dafny 838158 lines

ID: 1534

Type: 📄

Verified:

File: DafnyBench code number 613

Published: 12/05/2024

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

No ratings

Summary: DafnyBench code number 614

Dafny 487043 lines

ID: 1535

Type: 📄

Verified:

File: DafnyBench code number 614

Published: 12/05/2024

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