2778 results
Filter By
Language

Application

Type

Status

2778 results

7 ratings

Summary: DafnyBench code number 374

Dafny 380622 lines

ID: 1295

Type: 📄

Verified:

File: DafnyBench code number 374

Published: 12/05/2024

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

4 ratings

Summary: DafnyBench code number 379

Dafny 732132 lines

ID: 1300

Type: 📄

Verified:

File: DafnyBench code number 379

Published: 12/05/2024

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

6 ratings

Summary: DafnyBench code number 375

Dafny 496844 lines

ID: 1296

Type: 📄

Verified:

File: DafnyBench code number 375

Published: 12/05/2024

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

No ratings

Summary: DafnyBench code number 380

Dafny 423131 lines

ID: 1301

Type: 📄

Verified:

File: DafnyBench code number 380

Published: 12/05/2024

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

5 ratings

Summary: DafnyBench code number 376

Dafny 342357 lines

ID: 1297

Type: 📄

Verified:

File: DafnyBench code number 376

Published: 12/05/2024

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

4 ratings

Summary: DafnyBench code number 381

Dafny 919257 lines

ID: 1302

Type: 📄

Verified:

File: DafnyBench code number 381

Published: 12/05/2024

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

4 ratings

Summary: DafnyBench code number 377

Dafny 221249 lines

ID: 1298

Type: 📄

Verified:

File: DafnyBench code number 377

Published: 12/05/2024

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

7 ratings

Summary: DafnyBench code number 382

Dafny 326891 lines

ID: 1303

Type: 📄

Verified:

File: DafnyBench code number 382

Published: 12/05/2024

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

6 ratings

Summary: DafnyBench code number 383

Dafny 876687 lines

ID: 1304

Type: 📄

Verified:

File: DafnyBench code number 383

Published: 12/05/2024

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

No ratings

Summary: DafnyBench code number 378

Dafny 79176 lines

ID: 1299

Type: 📄

Verified:

File: DafnyBench code number 378

Published: 12/05/2024

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

3 ratings

Summary: DafnyBench code number 384

Dafny 402760 lines

ID: 1305

Type: 📄

Verified:

File: DafnyBench code number 384

Published: 12/05/2024

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

No ratings

Summary: DafnyBench code number 385

Dafny 383737 lines

ID: 1306

Type: 📄

Verified:

File: DafnyBench code number 385

Published: 12/05/2024

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

5 ratings

Summary: DafnyBench code number 386

Dafny 710406 lines

ID: 1307

Type: 📄

Verified:

File: DafnyBench code number 386

Published: 12/05/2024

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

6 ratings

Summary: DafnyBench code number 387

Dafny 400820 lines

ID: 1308

Type: 📄

Verified:

File: DafnyBench code number 387

Published: 12/05/2024

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

No ratings

Summary: DafnyBench code number 388

Dafny 872881 lines

ID: 1309

Type: 📄

Verified:

File: DafnyBench code number 388

Published: 12/05/2024

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