Summary: DafnyBench code number 777

Dafny 433538 lines

ID: 1698

Type: 📄

Verified: ❌

Package: DafnyBench code number 777

Published: 12/05/2024

Download Code

View Code

Edit Code

Summary: DafnyBench code number 778

Dafny 59363 lines

ID: 1699

Type: 📄

Verified: ❌

Package: DafnyBench code number 778

Published: 12/05/2024

Download Code

View Code

Edit Code

Summary: DafnyBench code number 780

Dafny 802901 lines

ID: 1701

Type: 📄

Verified: ❌

Package: DafnyBench code number 780

Published: 12/05/2024

Download Code

View Code

Edit Code

Summary: DafnyBench code number 781

Dafny 25911 lines

ID: 1702

Type: 📄

Verified: ❌

Package: DafnyBench code number 781

Published: 12/05/2024

Download Code

View Code

Edit Code

Summary: Armin Test #2

Dafny 81 lines

ID: 2989

Type: 📄

Verified: ❌

Package: Armin Test #2

Published: 12/05/2024

Download Code

View Code

Edit Code

Summary: Armin Test #99

Dafny 1 lines

ID: 2990

Type: 📄

Verified: ❌

Package: Armin Test #99

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

Dafny 287240 lines

ID: 1672

Type: 📄

Verified: ❌

Package: DafnyBench code number 751

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