Summary: Lean code number 34

Lean 21 lines

ID: 3028

Type: 📄

Verified: ❌

Package: Lean code number 34

Published: 12/05/2024

Download Code

View Code

Edit Code

Summary: Lean code number 39

Lean 106 lines

ID: 3033

Type: 📄

Verified: ❌

Package: Lean code number 39

Published: 12/05/2024

Download Code

View Code

Edit Code

Summary: Lean code number 77

Lean 462 lines

ID: 3071

Type: 📄

Verified: ❌

Package: Lean code number 77

Published: 12/05/2024

Download Code

View Code

Edit Code

Summary: Lean code number 40

Lean 12 lines

ID: 3034

Type: 📄

Verified: ❌

Package: Lean code number 40

Published: 12/05/2024

Download Code

View Code

Edit Code

Summary: Lean code number 78

Lean 48 lines

ID: 3072

Type: 📄

Verified: ❌

Package: Lean code number 78

Published: 12/05/2024

Download Code

View Code

Edit Code

Summary: Lean code number 35

Lean 236 lines

ID: 3029

Type: 📄

Verified: ❌

Package: Lean code number 35

Published: 12/05/2024

Download Code

View Code

Edit Code

Summary: Hello New

Dafny 1 lines

ID: 2991

Type: 📄

Verified: ❌

Package: Hello New

Published: 12/05/2024

Download Code

View Code

Edit Code

Summary: Test Armin #4 v2

Dafny 22 lines

ID: 2992

Type: 📄

Verified: ❌

Package: Test Armin #4 v2

Published: 12/05/2024

Download Code

View Code

Edit Code

Summary: Armin Test #101

Dafny 81 lines

ID: 2993

Type: 📄

Verified: ❌

Package: Armin Test #101

Published: 12/05/2024

Download Code

View Code

Edit Code

Summary: Lean code number 1

Lean 94 lines

ID: 2995

Type: 📄

Verified: ❌

Package: Lean code number 1

Published: 12/05/2024

Download Code

View Code

Edit Code

Summary: DafnyBench code number 750

Dafny 78654 lines

ID: 1671

Type: 📄

Verified: ❌

Package: DafnyBench code number 750

Published: 12/05/2024

Download Code

View Code

Edit Code

Summary: Lean code number 2

Lean 155 lines

ID: 2996

Type: 📄

Verified: ❌

Package: Lean code number 2

Published: 12/05/2024

Download Code

View Code

Edit Code

Summary: DafnyBench code number 751

Dafny 287240 lines

ID: 1672

Type: 📄

Verified: ❌

Package: DafnyBench code number 751

Published: 12/05/2024

Download Code

View Code

Edit Code

Summary: Lean code number 3

Lean 14 lines

ID: 2997

Type: 📄

Verified: ❌

Package: Lean code number 3

Published: 12/05/2024

Download Code

View Code

Edit Code

Summary: DafnyBench code number 752

Dafny 200240 lines

ID: 1673

Type: 📄

Verified: ❌

Package: DafnyBench code number 752

Published: 12/05/2024

Download Code

View Code

Edit Code