2759 results
Filter By
Language

Application

Type

Status

2759 results

6 ratings

Summary: DafnyBench code number 10

Dafny 71236 lines

ID: 932

Type: 📄

Verified:

File: DafnyBench code number 10

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:

File: DafnyBench code number 6

Published: 12/05/2024

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

5 ratings

Summary: DafnyBench code number 11

Dafny 710211 lines

ID: 933

Type: 📄

Verified:

File: DafnyBench code number 11

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:

File: DafnyBench code number 7

Published: 12/05/2024

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

No ratings

Summary: DafnyBench code number 12

Dafny 337347 lines

ID: 934

Type: 📄

Verified:

File: DafnyBench code number 12

Published: 12/05/2024

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

4 ratings

Summary: DafnyBench code number 13

Dafny 556101 lines

ID: 935

Type: 📄

Verified:

File: DafnyBench code number 13

Published: 12/05/2024

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

No ratings

Summary: DafnyBench code number 8

Dafny 446236 lines

ID: 930

Type: 📄

Verified:

File: DafnyBench code number 8

Published: 12/05/2024

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

5 ratings

Summary: DafnyBench code number 14

Dafny 768463 lines

ID: 936

Type: 📄

Verified:

File: DafnyBench code number 14

Published: 12/05/2024

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

No ratings

Summary: DafnyBench code number 15

Dafny 174010 lines

ID: 937

Type: 📄

Verified:

File: DafnyBench code number 15

Published: 12/05/2024

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

5 ratings

Summary: DafnyBench code number 16

Dafny 564663 lines

ID: 938

Type: 📄

Verified:

File: DafnyBench code number 16

Published: 12/05/2024

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

5 ratings

Summary: DafnyBench code number 17

Dafny 301284 lines

ID: 939

Type: 📄

Verified:

File: DafnyBench code number 17

Published: 12/05/2024

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

8 ratings

Summary: DafnyBench code number 18

Dafny 812429 lines

ID: 940

Type: 📄

Verified:

File: DafnyBench code number 18

Published: 12/05/2024

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

No ratings

Summary: DafnyBench code number 19

Dafny 158294 lines

ID: 941

Type: 📄

Verified:

File: DafnyBench code number 19

Published: 12/05/2024

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

No ratings

Summary: DafnyBench code number 20

Dafny 354184 lines

ID: 942

Type: 📄

Verified:

File: DafnyBench code number 20

Published: 12/05/2024

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