2791 results
Filter By
Language

Application

Type

Status

2791 results

4 ratings

Summary: DafnyBench code number 42

Dafny 291152 lines

ID: 964

Type: 📄

Verified:

Package: DafnyBench code number 42

Published: 12/05/2024

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

No ratings

Summary: DafnyBench code number 0

Dafny 964848 lines

ID: 922

Type: 📄

Verified:

Package: DafnyBench code number 0

Published: 12/05/2024

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

1 ratings

Summary: DafnyBench code number 37

Dafny 298349 lines

ID: 959

Type: 📄

Verified:

Package: DafnyBench code number 37

Published: 12/05/2024

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

3 ratings

Summary: DafnyBench code number 43

Dafny 809113 lines

ID: 965

Type: 📄

Verified:

Package: DafnyBench code number 43

Published: 12/05/2024

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

7 ratings

Summary: DafnyBench code number 1

Dafny 425835 lines

ID: 923

Type: 📄

Verified:

Package: DafnyBench code number 1

Published: 12/05/2024

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

No ratings

Summary: DafnyBench code number 38

Dafny 311298 lines

ID: 960

Type: 📄

Verified:

Package: DafnyBench code number 38

Published: 12/05/2024

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

6 ratings

Summary: DafnyBench code number 44

Dafny 172112 lines

ID: 966

Type: 📄

Verified:

Package: DafnyBench code number 44

Published: 12/05/2024

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

No ratings

Summary: DafnyBench code number 2

Dafny 234631 lines

ID: 924

Type: 📄

Verified:

Package: DafnyBench code number 2

Published: 12/05/2024

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

3 ratings

Summary: DafnyBench code number 39

Dafny 661440 lines

ID: 961

Type: 📄

Verified:

Package: DafnyBench code number 39

Published: 12/05/2024

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

No ratings

Summary: DafnyBench code number 3

Dafny 895647 lines

ID: 925

Type: 📄

Verified:

Package: DafnyBench code number 3

Published: 12/05/2024

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

No ratings

Summary: DafnyBench code number 40

Dafny 373307 lines

ID: 962

Type: 📄

Verified:

Package: DafnyBench code number 40

Published: 12/05/2024

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

No ratings

Summary: DafnyBench code number 4

Dafny 774341 lines

ID: 926

Type: 📄

Verified:

Package: DafnyBench code number 4

Published: 12/05/2024

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

6 ratings

Summary: DafnyBench code number 5

Dafny 184766 lines

ID: 927

Type: 📄

Verified:

Package: DafnyBench code number 5

Published: 12/05/2024

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

6 ratings

Summary: DafnyBench code number 6

Dafny 600806 lines

ID: 928

Type: 📄

Verified:

Package: DafnyBench code number 6

Published: 12/05/2024

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

6 ratings

Summary: DafnyBench code number 7

Dafny 449731 lines

ID: 929

Type: 📄

Verified:

Package: DafnyBench code number 7

Published: 12/05/2024

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