Summary: Lean code number 4

Lean 21 lines

ID: 2998

Type: 📄

Verified: ❌

Package: Lean code number 4

Published: 12/05/2024

Download Code

View Code

Edit Code

Summary: DafnyBench code number 753

Dafny 139481 lines

ID: 1674

Type: 📄

Verified: ❌

Package: DafnyBench code number 753

Published: 12/05/2024

Download Code

View Code

Edit Code

Summary: Lean code number 5

Lean 279 lines

ID: 2999

Type: 📄

Verified: ❌

Package: Lean code number 5

Published: 12/05/2024

Download Code

View Code

Edit Code

Summary: DafnyBench code number 754

Dafny 96681 lines

ID: 1675

Type: 📄

Verified: ❌

Package: DafnyBench code number 754

Published: 12/05/2024

Download Code

View Code

Edit Code

Summary: Lean code number 6

Lean 3 lines

ID: 3000

Type: 📄

Verified: ❌

Package: Lean code number 6

Published: 12/05/2024

Download Code

View Code

Edit Code

Summary: Lean code number 7

Lean 710 lines

ID: 3001

Type: 📄

Verified: ❌

Package: Lean code number 7

Published: 12/05/2024

Download Code

View Code

Edit Code

Summary: DafnyBench code number 755

Dafny 64963 lines

ID: 1676

Type: 📄

Verified: ❌

Package: DafnyBench code number 755

Published: 12/05/2024

Download Code

View Code

Edit Code

Summary: Lean code number 13

Lean 82 lines

ID: 3007

Type: 📄

Verified: ❌

Package: Lean code number 13

Published: 12/05/2024

Download Code

View Code

Edit Code

Summary: DafnyBench code number 756

Dafny 34772 lines

ID: 1677

Type: 📄

Verified: ❌

Package: DafnyBench code number 756

Published: 12/05/2024

Download Code

View Code

Edit Code

Summary: Lean code number 8

Lean 122 lines

ID: 3002

Type: 📄

Verified: ❌

Package: Lean code number 8

Published: 12/05/2024

Download Code

View Code

Edit Code

Summary: Lean code number 14

Lean 7 lines

ID: 3008

Type: 📄

Verified: ❌

Package: Lean code number 14

Published: 12/05/2024

Download Code

View Code

Edit Code

Summary: DafnyBench code number 757

Dafny 978969 lines

ID: 1678

Type: 📄

Verified: ❌

Package: DafnyBench code number 757

Published: 12/05/2024

Download Code

View Code

Edit Code

Summary: Lean code number 9

Lean 91 lines

ID: 3003

Type: 📄

Verified: ❌

Package: Lean code number 9

Published: 12/05/2024

Download Code

View Code

Edit Code

Summary: Lean code number 15

Lean 388 lines

ID: 3009

Type: 📄

Verified: ❌

Package: Lean code number 15

Published: 12/05/2024

Download Code

View Code

Edit Code

Summary: DafnyBench code number 758

Dafny 790531 lines

ID: 1679

Type: 📄

Verified: ❌

Package: DafnyBench code number 758

Published: 12/05/2024

Download Code

View Code

Edit Code