2777 results
Filter By
Language

Application

Type

Status

2777 results

No ratings

Summary: DafnyBench code number 689

Dafny 285661 lines

ID: 1610

Type: 📄

Verified:

File: DafnyBench code number 689

Published: 12/05/2024

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

No ratings

Summary: DafnyBench code number 726

Dafny 970276 lines

ID: 1647

Type: 📄

Verified:

File: DafnyBench code number 726

Published: 12/05/2024

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

5 ratings

Summary: DafnyBench code number 731

Dafny 299317 lines

ID: 1652

Type: 📄

Verified:

File: DafnyBench code number 731

Published: 12/05/2024

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

5 ratings

Summary: DafnyBench code number 690

Dafny 493219 lines

ID: 1611

Type: 📄

Verified:

File: DafnyBench code number 690

Published: 12/05/2024

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

5 ratings

Summary: DafnyBench code number 727

Dafny 601047 lines

ID: 1648

Type: 📄

Verified:

File: DafnyBench code number 727

Published: 12/05/2024

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

No ratings

Summary: DafnyBench code number 732

Dafny 313006 lines

ID: 1653

Type: 📄

Verified:

File: DafnyBench code number 732

Published: 12/05/2024

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

No ratings

Summary: DafnyBench code number 728

Dafny 94404 lines

ID: 1649

Type: 📄

Verified:

File: DafnyBench code number 728

Published: 12/05/2024

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

5 ratings

Summary: DafnyBench code number 733

Dafny 667082 lines

ID: 1654

Type: 📄

Verified:

File: DafnyBench code number 733

Published: 12/05/2024

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

1 ratings

Summary: DafnyBench code number 691

Dafny 609114 lines

ID: 1612

Type: 📄

Verified:

File: DafnyBench code number 691

Published: 12/05/2024

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

No ratings

Summary: DafnyBench code number 734

Dafny 396389 lines

ID: 1655

Type: 📄

Verified:

File: DafnyBench code number 734

Published: 12/05/2024

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

7 ratings

Summary: DafnyBench code number 692

Dafny 565912 lines

ID: 1613

Type: 📄

Verified:

File: DafnyBench code number 692

Published: 12/05/2024

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

4 ratings

Summary: DafnyBench code number 729

Dafny 668881 lines

ID: 1650

Type: 📄

Verified:

File: DafnyBench code number 729

Published: 12/05/2024

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

7 ratings

Summary: DafnyBench code number 735

Dafny 980699 lines

ID: 1656

Type: 📄

Verified:

File: DafnyBench code number 735

Published: 12/05/2024

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

7 ratings

Summary: DafnyBench code number 693

Dafny 2220 lines

ID: 1614

Type: 📄

Verified:

File: DafnyBench code number 693

Published: 12/05/2024

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

No ratings

Summary: DafnyBench code number 736

Dafny 714329 lines

ID: 1657

Type: 📄

Verified:

File: DafnyBench code number 736

Published: 12/05/2024

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