Summary: Lean code number 10

Lean 104 lines

ID: 3004

Type: 📄

Verified: ❌

File: Lean code number 10

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 761

Dafny 488471 lines

ID: 1682

Type: 📄

Verified: ❌

File: DafnyBench code number 761

Published: 12/05/2024

Download Code

View Code

Edit Code

Summary: Lean code number 11

Lean 20 lines

ID: 3005

Type: 📄

Verified: ❌

File: Lean code number 11

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 762

Dafny 320926 lines

ID: 1683

Type: 📄

Verified: ❌

File: DafnyBench code number 762

Published: 12/05/2024

Download Code

View Code

Edit Code

Summary: Lean code number 12

Lean 56 lines

ID: 3006

Type: 📄

Verified: ❌

File: Lean code number 12

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 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 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 764

Dafny 733304 lines

ID: 1685

Type: 📄

Verified: ❌

File: DafnyBench code number 764

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 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 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 21

Lean 1518 lines

ID: 3015

Type: 📄

Verified: ❌

File: Lean code number 21

Published: 12/05/2024

Download Code

View Code

Edit Code