Summary: Lean code number 49

Lean 1115 lines

ID: 3043

Type: 📄

Verified: ❌

File: Lean code number 49

Published: 12/05/2024

Download Code

View Code

Edit Code

Summary: Lean code number 45

Lean 297 lines

ID: 3039

Type: 📄

Verified: ❌

File: Lean code number 45

Published: 12/05/2024

Download Code

View Code

Edit Code

Summary: Lean code number 50

Lean 110 lines

ID: 3044

Type: 📄

Verified: ❌

File: Lean code number 50

Published: 12/05/2024

Download Code

View Code

Edit Code

Summary: Lean code number 46

Lean 3 lines

ID: 3040

Type: 📄

Verified: ❌

File: Lean code number 46

Published: 12/05/2024

Download Code

View Code

Edit Code

Summary: Lean code number 51

Lean 69 lines

ID: 3045

Type: 📄

Verified: ❌

File: Lean code number 51

Published: 12/05/2024

Download Code

View Code

Edit Code

Summary: Lean code number 47

Lean 146 lines

ID: 3041

Type: 📄

Verified: ❌

File: Lean code number 47

Published: 12/05/2024

Download Code

View Code

Edit Code

Summary: Lean code number 52

Lean 739 lines

ID: 3046

Type: 📄

Verified: ❌

File: Lean code number 52

Published: 12/05/2024

Download Code

View Code

Edit Code

Summary: Lean code number 53

Lean 32 lines

ID: 3047

Type: 📄

Verified: ❌

File: Lean code number 53

Published: 12/05/2024

Download Code

View Code

Edit Code

Summary: Lean code number 54

Lean 439 lines

ID: 3048

Type: 📄

Verified: ❌

File: Lean code number 54

Published: 12/05/2024

Download Code

View Code

Edit Code

Summary: Lean code number 55

Lean 67 lines

ID: 3049

Type: 📄

Verified: ❌

File: Lean code number 55

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