Upload Code

The open-source library for

formally verified code

Showing 1486–1500 of 1,737
Sort by
Dafny Locked
File

Summary: Benchmark - DA0035_vericoded.dfy

94 lines Updated Oct 22, 2025 ID: 3295
Dafny Locked
File Verified ✓

Summary: Benchmark - DA0034_vericoded.dfy

105 lines Updated Oct 22, 2025 ID: 3294
Dafny Locked
File Verified ✓

Summary: Benchmark - DA0033_vericoded.dfy

44 lines Updated Oct 22, 2025 ID: 3293
Dafny Locked
File Verified ✓

Summary: Benchmark - DA0032_vericoded.dfy

147 lines Updated Oct 22, 2025 ID: 3292
Dafny Locked
File Verified ✓

Summary: Benchmark - DA0031_vericoded.dfy

73 lines Updated Oct 22, 2025 ID: 3291
Dafny Locked
File Verified ✓

Summary: Benchmark - DA0030_vericoded.dfy

121 lines Updated Oct 22, 2025 ID: 3290
Dafny Locked
File Verified ✓

Summary: Benchmark - DA0029_vericoded.dfy

179 lines Updated Oct 22, 2025 ID: 3288
Dafny Locked
File Verified ✓

Summary: Benchmark - DA0028_vericoded.dfy

72 lines Updated Oct 22, 2025 ID: 3287
Dafny Locked
File Verified ✓

Summary: Benchmark - DA0027_vericoded.dfy

102 lines Updated Oct 22, 2025 ID: 3286
Dafny Locked
File Verified ✓

Summary: Benchmark - DA0026_vericoded.dfy

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

Summary: Benchmark - DA0025_vericoded.dfy

151 lines Updated Oct 22, 2025 ID: 3284
Dafny Locked
File

Summary: Benchmark - DA0023_vericoded.dfy

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

Summary: Benchmark - DA0022_vericoded.dfy

108 lines Updated Oct 22, 2025 ID: 3282
Dafny Locked
File Verified ✓

Summary: Benchmark - DA0021_vericoded.dfy

144 lines Updated Oct 22, 2025 ID: 3281
Dafny Locked
File Verified ✓

Summary: Benchmark - DA0020_vericoded.dfy

81 lines Updated Oct 22, 2025 ID: 3280