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

Lean 710 lines

ID: 3001

Type: 📄

Verified: ❌

File: Lean code number 7

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 8

Lean 122 lines

ID: 3002

Type: 📄

Verified: ❌

File: Lean code number 8

Published: 12/05/2024

Download Code

View Code

Edit Code

Summary: Lean code number 9

Lean 91 lines

ID: 3003

Type: 📄

Verified: ❌

File: Lean code number 9

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: DafnyBench code number 760

Dafny 707143 lines

ID: 1681

Type: 📄

Verified: ❌

File: DafnyBench code number 760

Published: 12/05/2024

Download Code

View Code

Edit Code

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