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

Summary: Lean code number 19

Lean 8 lines

ID: 3013

Type: 📄

Verified: ❌

File: Lean code number 19

Published: 12/05/2024

Download Code

View Code

Edit Code

Summary: DafnyBench code number 770

Dafny 247497 lines

ID: 1691

Type: 📄

Verified: ❌

File: DafnyBench code number 770

Published: 12/05/2024

Download Code

View Code

Edit Code

Summary: Lean code number 20

Lean 2 lines

ID: 3014

Type: 📄

Verified: ❌

File: Lean code number 20

Published: 12/05/2024

Download Code

View Code

Edit Code

Summary: DafnyBench code number 771

Dafny 848702 lines

ID: 1692

Type: 📄

Verified: ❌

File: DafnyBench code number 771

Published: 12/05/2024

Download Code

View Code

Edit Code

Summary: Lean code number 21

Lean 1518 lines

ID: 3015

Type: 📄

Verified: ❌

File: Lean code number 21

Published: 12/05/2024

Download Code

View Code

Edit Code

Summary: DafnyBench code number 772

Dafny 501018 lines

ID: 1693

Type: 📄

Verified: ❌

File: DafnyBench code number 772

Published: 12/05/2024

Download Code

View Code

Edit Code

Summary: Lean code number 22

Lean 5 lines

ID: 3016

Type: 📄

Verified: ❌

File: Lean code number 22

Published: 12/05/2024

Download Code

View Code

Edit Code

Summary: DafnyBench code number 773

Dafny 958982 lines

ID: 1694

Type: 📄

Verified: ❌

File: DafnyBench code number 773

Published: 12/05/2024

Download Code

View Code

Edit Code

Summary: DafnyBench code number 737

Dafny 629547 lines

ID: 1658

Type: 📄

Verified: ❌

File: DafnyBench code number 737

Published: 12/05/2024

Download Code

View Code

Edit Code

Summary: DafnyBench code number 695

Dafny 560140 lines

ID: 1616

Type: 📄

Verified: ❌

File: DafnyBench code number 695

Published: 12/05/2024

Download Code

View Code

Edit Code

Summary: DafnyBench code number 732

Dafny 313006 lines

ID: 1653

Type: 📄

Verified: ❌

File: DafnyBench code number 732

Published: 12/05/2024

Download Code

View Code

Edit Code

Summary: DafnyBench code number 738

Dafny 4747 lines

ID: 1659

Type: 📄

Verified: ❌

File: DafnyBench code number 738

Published: 12/05/2024

Download Code

View Code

Edit Code

Summary: DafnyBench code number 696

Dafny 860621 lines

ID: 1617

Type: 📄

Verified: ❌

File: DafnyBench code number 696

Published: 12/05/2024

Download Code

View Code

Edit Code