2811 results
Filter By
Language

Application

Type

Status

2811 results

No ratings

Summary: DafnyBench code number 223

Dafny 141783 lines

ID: 1144

Type: 📄

Verified:

Package: DafnyBench code number 223

Published: 12/05/2024

Menu Icon Download Code Menu Icon View Code Menu Icon Edit Code

No ratings

Summary: DafnyBench code number 187

Dafny 297262 lines

ID: 1108

Type: 📄

Verified:

Package: DafnyBench code number 187

Published: 12/05/2024

Menu Icon Download Code Menu Icon View Code Menu Icon Edit Code

No ratings

Summary: DafnyBench code number 224

Dafny 920851 lines

ID: 1145

Type: 📄

Verified:

Package: DafnyBench code number 224

Published: 12/05/2024

Menu Icon Download Code Menu Icon View Code Menu Icon Edit Code

No ratings

Summary: DafnyBench code number 188

Dafny 349711 lines

ID: 1109

Type: 📄

Verified:

Package: DafnyBench code number 188

Published: 12/05/2024

Menu Icon Download Code Menu Icon View Code Menu Icon Edit Code

3 ratings

Summary: DafnyBench code number 225

Dafny 178908 lines

ID: 1146

Type: 📄

Verified:

Package: DafnyBench code number 225

Published: 12/05/2024

Menu Icon Download Code Menu Icon View Code Menu Icon Edit Code

No ratings

Summary: DafnyBench code number 189

Dafny 856768 lines

ID: 1110

Type: 📄

Verified:

Package: DafnyBench code number 189

Published: 12/05/2024

Menu Icon Download Code Menu Icon View Code Menu Icon Edit Code

6 ratings

Summary: DafnyBench code number 190

Dafny 234709 lines

ID: 1111

Type: 📄

Verified:

Package: DafnyBench code number 190

Published: 12/05/2024

Menu Icon Download Code Menu Icon View Code Menu Icon Edit Code

6 ratings

Summary: DafnyBench code number 191

Dafny 603241 lines

ID: 1112

Type: 📄

Verified:

Package: DafnyBench code number 191

Published: 12/05/2024

Menu Icon Download Code Menu Icon View Code Menu Icon Edit Code

4 ratings

Summary: DafnyBench code number 162

Dafny 181108 lines

ID: 1083

Type: 📄

Verified:

Package: DafnyBench code number 162

Published: 12/05/2024

Menu Icon Download Code Menu Icon View Code Menu Icon Edit Code

3 ratings

Summary: DafnyBench code number 192

Dafny 312074 lines

ID: 1113

Type: 📄

Verified:

Package: DafnyBench code number 192

Published: 12/05/2024

Menu Icon Download Code Menu Icon View Code Menu Icon Edit Code

No ratings

Summary: DafnyBench code number 163

Dafny 4361 lines

ID: 1084

Type: 📄

Verified:

Package: DafnyBench code number 163

Published: 12/05/2024

Menu Icon Download Code Menu Icon View Code Menu Icon Edit Code

No ratings

Summary: DafnyBench code number 121

Dafny 671916 lines

ID: 1043

Type: 📄

Verified:

Package: DafnyBench code number 121

Published: 12/05/2024

Menu Icon Download Code Menu Icon View Code Menu Icon Edit Code

No ratings

Summary: DafnyBench code number 159

Dafny 781827 lines

ID: 1080

Type: 📄

Verified:

Package: DafnyBench code number 159

Published: 12/05/2024

Menu Icon Download Code Menu Icon View Code Menu Icon Edit Code

No ratings

Summary: DafnyBench code number 122

Dafny 610118 lines

ID: 1044

Type: 📄

Verified:

Package: DafnyBench code number 122

Published: 12/05/2024

Menu Icon Download Code Menu Icon View Code Menu Icon Edit Code

4 ratings

Summary: DafnyBench code number 160

Dafny 995842 lines

ID: 1081

Type: 📄

Verified:

Package: DafnyBench code number 160

Published: 12/05/2024

Menu Icon Download Code Menu Icon View Code Menu Icon Edit Code