Upload Code

The open-source library for

formally verified code

Showing 1426–1440 of 1,737
Sort by
Dafny Locked
File Verified ✓

Summary: Benchmark - DA0105_vericoded.dfy

49 lines Updated Oct 22, 2025 ID: 3355
Dafny Locked
File Verified ✓

Summary: Benchmark - DA0102_vericoded.dfy

199 lines Updated Oct 22, 2025 ID: 3354
Dafny Locked
File Verified ✓

Summary: Benchmark - DA0101_vericoded.dfy

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

Summary: Benchmark - DA0099_vericoded.dfy

64 lines Updated Oct 22, 2025 ID: 3352
Dafny Locked
File Verified ✓

Summary: Benchmark - DA0098_vericoded.dfy

75 lines Updated Oct 22, 2025 ID: 3351
Dafny Locked
File Verified ✓

Summary: Benchmark - DA0096_vericoded.dfy

109 lines Updated Oct 22, 2025 ID: 3350
Dafny Locked
File Verified ✓

Summary: Benchmark - DA0095_vericoded.dfy

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

Summary: Benchmark - DA0094_vericoded.dfy

130 lines Updated Oct 22, 2025 ID: 3348
Dafny Locked
File Verified ✓

Summary: Benchmark - DA0093_vericoded.dfy

106 lines Updated Oct 22, 2025 ID: 3347
Dafny Locked
File Verified ✓

Summary: Benchmark - DA0092_vericoded.dfy

135 lines Updated Oct 22, 2025 ID: 3346
Dafny Locked
File Verified ✓

Summary: Benchmark - DA0091_vericoded.dfy

122 lines Updated Oct 22, 2025 ID: 3345
Dafny Locked
File Verified ✓

Summary: Benchmark - DA0090_vericoded.dfy

84 lines Updated Oct 22, 2025 ID: 3344
Dafny Locked
File Verified ✓

Summary: Benchmark - DA0089_vericoded.dfy

97 lines Updated Oct 22, 2025 ID: 3343
Dafny Locked
File Verified ✓

Summary: Benchmark - DA0087_vericoded.dfy

91 lines Updated Oct 22, 2025 ID: 3342
Dafny Locked
File Verified ✓

Summary: Benchmark - DA0086_vericoded.dfy

56 lines Updated Oct 22, 2025 ID: 3341