Summary: DafnyBench code number 750

Dafny 78654 lines

ID: 1671

Type: 📄

Verified: ❌

File: DafnyBench code number 750

Published: 12/05/2024

Download Code

View Code

Edit Code

Summary: Armin Test #101

Dafny 81 lines

ID: 2993

Type: 📄

Verified: ❌

File: Armin Test #101

Published: 12/05/2024

Download Code

View Code

Edit Code

Summary: DafnyBench code number 751

Dafny 287240 lines

ID: 1672

Type: 📄

Verified: ❌

File: DafnyBench code number 751

Published: 12/05/2024

Download Code

View Code

Edit Code

Summary: Lean code number 1

Lean 94 lines

ID: 2995

Type: 📄

Verified: ❌

File: Lean code number 1

Published: 12/05/2024

Download Code

View Code

Edit Code

Summary: DafnyBench code number 752

Dafny 200240 lines

ID: 1673

Type: 📄

Verified: ❌

File: DafnyBench code number 752

Published: 12/05/2024

Download Code

View Code

Edit Code

Summary: Lean code number 2

Lean 155 lines

ID: 2996

Type: 📄

Verified: ❌

File: Lean code number 2

Published: 12/05/2024

Download Code

View Code

Edit Code

Summary: DafnyBench code number 753

Dafny 139481 lines

ID: 1674

Type: 📄

Verified: ❌

File: DafnyBench code number 753

Published: 12/05/2024

Download Code

View Code

Edit Code

Summary: Lean code number 3

Lean 14 lines

ID: 2997

Type: 📄

Verified: ❌

File: Lean code number 3

Published: 12/05/2024

Download Code

View Code

Edit Code

Summary: DafnyBench code number 754

Dafny 96681 lines

ID: 1675

Type: 📄

Verified: ❌

File: DafnyBench code number 754

Published: 12/05/2024

Download Code

View Code

Edit Code

Summary: Lean code number 4

Lean 21 lines

ID: 2998

Type: 📄

Verified: ❌

File: Lean code number 4

Published: 12/05/2024

Download Code

View Code

Edit Code

Summary: DafnyBench code number 755

Dafny 64963 lines

ID: 1676

Type: 📄

Verified: ❌

File: DafnyBench code number 755

Published: 12/05/2024

Download Code

View Code

Edit Code

Summary: Lean code number 5

Lean 279 lines

ID: 2999

Type: 📄

Verified: ❌

File: Lean code number 5

Published: 12/05/2024

Download Code

View Code

Edit Code

Summary: DafnyBench code number 756

Dafny 34772 lines

ID: 1677

Type: 📄

Verified: ❌

File: DafnyBench code number 756

Published: 12/05/2024

Download Code

View Code

Edit Code

Summary: Lean code number 6

Lean 3 lines

ID: 3000

Type: 📄

Verified: ❌

File: Lean code number 6

Published: 12/05/2024

Download Code

View Code

Edit Code

Summary: DafnyBench code number 757

Dafny 978969 lines

ID: 1678

Type: 📄

Verified: ❌

File: DafnyBench code number 757

Published: 12/05/2024

Download Code

View Code

Edit Code