2791 results
Filter By
Language

Application

Type

Status

2791 results

No ratings

Summary: DafnyBench code number 31

Dafny 412227 lines

ID: 953

Type: 📄

Verified:

Package: DafnyBench code number 31

Published: 12/05/2024

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

3 ratings

Summary: DafnyBench code number 32

Dafny 147216 lines

ID: 954

Type: 📄

Verified:

Package: DafnyBench code number 32

Published: 12/05/2024

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

No ratings

Summary: DafnyBench code number 33

Dafny 499401 lines

ID: 955

Type: 📄

Verified:

Package: DafnyBench code number 33

Published: 12/05/2024

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

7 ratings

Summary: DafnyBench code number 34

Dafny 55356 lines

ID: 956

Type: 📄

Verified:

Package: DafnyBench code number 34

Published: 12/05/2024

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

3 ratings

Summary: DafnyBench code number 35

Dafny 778577 lines

ID: 957

Type: 📄

Verified:

Package: DafnyBench code number 35

Published: 12/05/2024

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

6 ratings

Summary: DafnyBench code number 41

Dafny 882215 lines

ID: 963

Type: 📄

Verified:

Package: DafnyBench code number 41

Published: 12/05/2024

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

8 ratings

Summary: DafnyBench code number 36

Dafny 726816 lines

ID: 958

Type: 📄

Verified:

Package: DafnyBench code number 36

Published: 12/05/2024

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

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