Summary: DafnyBench code number 779

Dafny 996198 lines

ID: 1700

Type: 📄

Verified: ❌

File: DafnyBench code number 779

Published: 12/05/2024

Download Code

View Code

Edit Code

Summary: Armin Test #99

Dafny 1 lines

ID: 2990

Type: 📄

Verified: ❌

File: Armin Test #99

Published: 12/05/2024

Download Code

View Code

Edit Code

Summary: DafnyBench code number 780

Dafny 802901 lines

ID: 1701

Type: 📄

Verified: ❌

File: DafnyBench code number 780

Published: 12/05/2024

Download Code

View Code

Edit Code

Summary: Hello New

Dafny 1 lines

ID: 2991

Type: 📄

Verified: ❌

File: Hello New

Published: 12/05/2024

Download Code

View Code

Edit Code

Summary: DafnyBench code number 781

Dafny 25911 lines

ID: 1702

Type: 📄

Verified: ❌

File: DafnyBench code number 781

Published: 12/05/2024

Download Code

View Code

Edit Code

Summary: Test Armin #4 v2

Dafny 22 lines

ID: 2992

Type: 📄

Verified: ❌

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

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

File: Lean code number 1

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

Dafny 78654 lines

ID: 1671

Type: 📄

Verified: ❌

File: DafnyBench code number 750

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 751

Dafny 287240 lines

ID: 1672

Type: 📄

Verified: ❌

File: DafnyBench code number 751

Published: 12/05/2024

Download Code

View Code

Edit Code