2772 results
Filter By
Language

Application

Type

Status

2772 results

5 ratings

Summary: DafnyBench code number 697

Dafny 622685 lines

ID: 1618

Type: 📄

Verified:

File: DafnyBench code number 697

Published: 12/05/2024

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

No ratings

Summary: DafnyBench code number 702

Dafny 943507 lines

ID: 1623

Type: 📄

Verified:

File: DafnyBench code number 702

Published: 12/05/2024

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

6 ratings

Summary: DafnyBench code number 698

Dafny 531562 lines

ID: 1619

Type: 📄

Verified:

File: DafnyBench code number 698

Published: 12/05/2024

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

No ratings

Summary: DafnyBench code number 703

Dafny 514083 lines

ID: 1624

Type: 📄

Verified:

File: DafnyBench code number 703

Published: 12/05/2024

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

No ratings

Summary: DafnyBench code number 740

Dafny 661230 lines

ID: 1661

Type: 📄

Verified:

File: DafnyBench code number 740

Published: 12/05/2024

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

No ratings

Summary: DafnyBench code number 699

Dafny 789754 lines

ID: 1620

Type: 📄

Verified:

File: DafnyBench code number 699

Published: 12/05/2024

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

5 ratings

Summary: DafnyBench code number 704

Dafny 739894 lines

ID: 1625

Type: 📄

Verified:

File: DafnyBench code number 704

Published: 12/05/2024

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

No ratings

Summary: DafnyBench code number 741

Dafny 900867 lines

ID: 1662

Type: 📄

Verified:

File: DafnyBench code number 741

Published: 12/05/2024

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

No ratings

Summary: DafnyBench code number 705

Dafny 157220 lines

ID: 1626

Type: 📄

Verified:

File: DafnyBench code number 705

Published: 12/05/2024

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

4 ratings

Summary: DafnyBench code number 742

Dafny 520643 lines

ID: 1663

Type: 📄

Verified:

File: DafnyBench code number 742

Published: 12/05/2024

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

No ratings

Summary: DafnyBench code number 706

Dafny 566418 lines

ID: 1627

Type: 📄

Verified:

File: DafnyBench code number 706

Published: 12/05/2024

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

No ratings

Summary: DafnyBench code number 743

Dafny 900616 lines

ID: 1664

Type: 📄

Verified:

File: DafnyBench code number 743

Published: 12/05/2024

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

4 ratings

Summary: DafnyBench code number 707

Dafny 360429 lines

ID: 1628

Type: 📄

Verified:

File: DafnyBench code number 707

Published: 12/05/2024

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

5 ratings

Summary: DafnyBench code number 744

Dafny 941151 lines

ID: 1665

Type: 📄

Verified:

File: DafnyBench code number 744

Published: 12/05/2024

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

8 ratings

Summary: DafnyBench code number 708

Dafny 102891 lines

ID: 1629

Type: 📄

Verified:

File: DafnyBench code number 708

Published: 12/05/2024

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