Upload Code

The open-source library for

formally verified code

Showing 1501–1515 of 1,737
Sort by
Dafny Locked
File Verified ✓

Summary: Benchmark - DA0020_vericoded.dfy

81 lines Updated Oct 22, 2025 ID: 3280
Dafny Locked
File Verified ✓

Summary: Benchmark - DA0018_vericoded.dfy

57 lines Updated Oct 22, 2025 ID: 3278
Dafny Locked
File Verified ✓

Summary: Benchmark - DA0017_vericoded.dfy

47 lines Updated Oct 22, 2025 ID: 3277
Dafny Locked
File

Summary: Benchmark - DA0016_vericoded.dfy

182 lines Updated Oct 22, 2025 ID: 3276
Dafny Locked
File Verified ✓

Summary: Benchmark - DA0015_vericoded.dfy

115 lines Updated Oct 22, 2025 ID: 3275
Dafny Locked
File Verified ✓

Summary: Benchmark - DA0014_vericoded.dfy

39 lines Updated Oct 22, 2025 ID: 3274
Dafny Locked
File Verified ✓

Summary: Benchmark - DA0013_vericoded.dfy

98 lines Updated Oct 22, 2025 ID: 3273
Dafny Locked
File Verified ✓

Summary: Benchmark - DA0012_vericoded.dfy

196 lines Updated Oct 22, 2025 ID: 3272
Dafny Locked
File Verified ✓

Summary: Benchmark - DA0010_vericoded.dfy

71 lines Updated Oct 22, 2025 ID: 3271
Dafny Locked
File Verified ✓

Summary: Benchmark - DA0009_vericoded.dfy

132 lines Updated Oct 22, 2025 ID: 3270
Dafny Locked
File Verified ✓

Summary: Benchmark - DA0008_vericoded.dfy

61 lines Updated Oct 22, 2025 ID: 3269
Dafny Locked
File Verified ✓

Summary: Benchmark - DA0007_vericoded.dfy

176 lines Updated Oct 22, 2025 ID: 3268
Dafny Locked
File Verified ✓

Summary: Benchmark - DA0005_vericoded.dfy

82 lines Updated Oct 22, 2025 ID: 3267
Dafny Locked
File Verified ✓

Summary: Benchmark - DA0004_vericoded.dfy

34 lines Updated Oct 22, 2025 ID: 3266
Dafny Locked
File Verified ✓

Summary: Benchmark - DA0003_vericoded.dfy

38 lines Updated Oct 22, 2025 ID: 3265