Summary: Lean code number 10

Lean 104 lines

ID: 3004

Type: 📄

Verified: ❌

Package: Lean code number 10

Published: 12/05/2024

Download Code

View Code

Edit Code

Summary: Lean code number 17

Lean 7 lines

ID: 3011

Type: 📄

Verified: ❌

Package: Lean code number 17

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: Lean code number 11

Lean 20 lines

ID: 3005

Type: 📄

Verified: ❌

Package: Lean code number 11

Published: 12/05/2024

Download Code

View Code

Edit Code

Summary: Lean code number 18

Lean 443 lines

ID: 3012

Type: 📄

Verified: ❌

Package: Lean code number 18

Published: 12/05/2024

Download Code

View Code

Edit Code

Summary: DafnyBench code number 760

Dafny 707143 lines

ID: 1681

Type: 📄

Verified: ❌

Package: DafnyBench code number 760

Published: 12/05/2024

Download Code

View Code

Edit Code

Summary: Lean code number 12

Lean 56 lines

ID: 3006

Type: 📄

Verified: ❌

Package: Lean code number 12

Published: 12/05/2024

Download Code

View Code

Edit Code

Summary: Lean code number 19

Lean 8 lines

ID: 3013

Type: 📄

Verified: ❌

Package: Lean code number 19

Published: 12/05/2024

Download Code

View Code

Edit Code

Summary: DafnyBench code number 761

Dafny 488471 lines

ID: 1682

Type: 📄

Verified: ❌

Package: DafnyBench code number 761

Published: 12/05/2024

Download Code

View Code

Edit Code

Summary: Lean code number 20

Lean 2 lines

ID: 3014

Type: 📄

Verified: ❌

Package: Lean code number 20

Published: 12/05/2024

Download Code

View Code

Edit Code

Summary: DafnyBench code number 762

Dafny 320926 lines

ID: 1683

Type: 📄

Verified: ❌

Package: DafnyBench code number 762

Published: 12/05/2024

Download Code

View Code

Edit Code

Summary: Lean code number 21

Lean 1518 lines

ID: 3015

Type: 📄

Verified: ❌

Package: Lean code number 21

Published: 12/05/2024

Download Code

View Code

Edit Code

Summary: DafnyBench code number 763

Dafny 139216 lines

ID: 1684

Type: 📄

Verified: ❌

Package: DafnyBench code number 763

Published: 12/05/2024

Download Code

View Code

Edit Code

Summary: DafnyBench code number 764

Dafny 733304 lines

ID: 1685

Type: 📄

Verified: ❌

Package: DafnyBench code number 764

Published: 12/05/2024

Download Code

View Code

Edit Code

Summary: Lean code number 22

Lean 5 lines

ID: 3016

Type: 📄

Verified: ❌

Package: Lean code number 22

Published: 12/05/2024

Download Code

View Code

Edit Code