Summary: DafnyBench code number 758

Dafny 790531 lines

ID: 1679

Type: 📄

Verified: ❌

File: DafnyBench code number 758

Published: 12/05/2024

Download Code

View Code

Edit Code

Summary: DafnyBench code number 763

Dafny 139216 lines

ID: 1684

Type: 📄

Verified: ❌

File: DafnyBench code number 763

Published: 12/05/2024

Download Code

View Code

Edit Code

Summary: Lean code number 13

Lean 82 lines

ID: 3007

Type: 📄

Verified: ❌

File: Lean code number 13

Published: 12/05/2024

Download Code

View Code

Edit Code

Summary: DafnyBench code number 759

Dafny 15747 lines

ID: 1680

Type: 📦

Verified: ❌

Package: DafnyBench code number 759

Published: 01/30/2025

Download Code

View Code

Edit Code

Summary: DafnyBench code number 764

Dafny 733304 lines

ID: 1685

Type: 📄

Verified: ❌

File: DafnyBench code number 764

Published: 12/05/2024

Download Code

View Code

Edit Code

Summary: Lean code number 14

Lean 7 lines

ID: 3008

Type: 📄

Verified: ❌

File: Lean code number 14

Published: 12/05/2024

Download Code

View Code

Edit Code

Summary: DafnyBench code number 765

Dafny 248870 lines

ID: 1686

Type: 📄

Verified: ❌

File: DafnyBench code number 765

Published: 12/05/2024

Download Code

View Code

Edit Code

Summary: Lean code number 15

Lean 388 lines

ID: 3009

Type: 📄

Verified: ❌

File: Lean code number 15

Published: 12/05/2024

Download Code

View Code

Edit Code

Summary: DafnyBench code number 766

Dafny 44439 lines

ID: 1687

Type: 📄

Verified: ❌

File: DafnyBench code number 766

Published: 12/05/2024

Download Code

View Code

Edit Code

Summary: Lean code number 16

Lean 25 lines

ID: 3010

Type: 📄

Verified: ❌

File: Lean code number 16

Published: 12/05/2024

Download Code

View Code

Edit Code

Summary: DafnyBench code number 767

Dafny 475584 lines

ID: 1688

Type: 📄

Verified: ❌

File: DafnyBench code number 767

Published: 12/05/2024

Download Code

View Code

Edit Code

Summary: Lean code number 17

Lean 7 lines

ID: 3011

Type: 📄

Verified: ❌

File: Lean code number 17

Published: 12/05/2024

Download Code

View Code

Edit Code

Summary: DafnyBench code number 768

Dafny 244603 lines

ID: 1689

Type: 📄

Verified: ❌

File: DafnyBench code number 768

Published: 12/05/2024

Download Code

View Code

Edit Code

Summary: Lean code number 18

Lean 443 lines

ID: 3012

Type: 📄

Verified: ❌

File: Lean code number 18

Published: 12/05/2024

Download Code

View Code

Edit Code

Summary: DafnyBench code number 769

Dafny 796261 lines

ID: 1690

Type: 📄

Verified: ❌

File: DafnyBench code number 769

Published: 12/05/2024

Download Code

View Code

Edit Code