2772 results
Filter By
Language

Application

Type

Status

2772 results

No ratings

Summary: DafnyBench code number 770

Dafny 247497 lines

ID: 1691

Type: 📄

Verified:

File: DafnyBench code number 770

Published: 12/05/2024

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

6 ratings

Summary: DafnyBench code number 775

Dafny 582336 lines

ID: 1696

Type: 📄

Verified:

File: DafnyBench code number 775

Published: 12/05/2024

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

No ratings

Summary: DafnyBench code number 771

Dafny 848702 lines

ID: 1692

Type: 📄

Verified:

File: DafnyBench code number 771

Published: 12/05/2024

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

No ratings

Summary: DafnyBench code number 776

Dafny 36109 lines

ID: 1697

Type: 📄

Verified:

File: DafnyBench code number 776

Published: 12/05/2024

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

No ratings

Summary: DafnyBench code number 777

Dafny 433538 lines

ID: 1698

Type: 📄

Verified:

File: DafnyBench code number 777

Published: 12/05/2024

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

No ratings

Summary: DafnyBench code number 772

Dafny 501018 lines

ID: 1693

Type: 📄

Verified:

File: DafnyBench code number 772

Published: 12/05/2024

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

5 ratings

Summary: DafnyBench code number 778

Dafny 59363 lines

ID: 1699

Type: 📄

Verified:

File: DafnyBench code number 778

Published: 12/05/2024

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

4 ratings

Summary: DafnyBench code number 773

Dafny 958982 lines

ID: 1694

Type: 📄

Verified:

File: DafnyBench code number 773

Published: 12/05/2024

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

No ratings

Summary: DafnyBench code number 779

Dafny 996198 lines

ID: 1700

Type: 📄

Verified:

File: DafnyBench code number 779

Published: 12/05/2024

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

No ratings

Summary: DafnyBench code number 774

Dafny 291856 lines

ID: 1695

Type: 📄

Verified:

File: DafnyBench code number 774

Published: 12/05/2024

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

7 ratings

Summary: DafnyBench code number 780

Dafny 802901 lines

ID: 1701

Type: 📄

Verified:

File: DafnyBench code number 780

Published: 12/05/2024

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

4 ratings

Summary: DafnyBench code number 781

Dafny 25911 lines

ID: 1702

Type: 📄

Verified:

File: DafnyBench code number 781

Published: 12/05/2024

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

No ratings

Summary:

Dafny 81 lines

ID: 2988

Type: 📄

Verified:

File:

Published: 12/05/2024

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

No ratings

Summary: Armin Test #2

Dafny 81 lines

ID: 2989

Type: 📄

Verified:

File: Armin Test #2

Published: 12/05/2024

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

No ratings

Summary: Armin Test #99

Dafny 1 lines

ID: 2990

Type: 📄

Verified:

File: Armin Test #99

Published: 12/05/2024

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