Upload Code

The open-source library for

formally verified code

Showing 1471–1485 of 1,737
Sort by
Dafny Locked
File Verified ✓

Summary: Benchmark - DA0050_vericoded.dfy

201 lines Updated Oct 22, 2025 ID: 3310
Dafny Locked
File Verified ✓

Summary: Benchmark - DA0049_vericoded.dfy

43 lines Updated Oct 22, 2025 ID: 3309
Dafny Locked
File Verified ✓

Summary: Benchmark - DA0048_vericoded.dfy

95 lines Updated Oct 22, 2025 ID: 3308
Dafny Locked
File Verified ✓

Summary: Benchmark - DA0047_vericoded.dfy

118 lines Updated Oct 22, 2025 ID: 3307
Dafny Locked
File Verified ✓

Summary: Benchmark - DA0046_vericoded.dfy

50 lines Updated Oct 22, 2025 ID: 3306
Dafny Locked
File Verified ✓

Summary: Benchmark - DA0045_vericoded.dfy

65 lines Updated Oct 22, 2025 ID: 3305
Dafny Locked
File Verified ✓

Summary: Benchmark - DA0044_vericoded.dfy

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

Summary: Benchmark - DA0043_vericoded.dfy

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

Summary: Benchmark - DA0042_vericoded.dfy

50 lines Updated Oct 22, 2025 ID: 3302
Dafny Locked
File Verified ✓

Summary: Benchmark - DA0041_vericoded.dfy

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

Summary: Benchmark - DA0040_vericoded.dfy

104 lines Updated Oct 22, 2025 ID: 3300
Dafny Locked
File Verified ✓

Summary: Benchmark - DA0039_vericoded.dfy

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

Summary: Benchmark - DA0038_vericoded.dfy

55 lines Updated Oct 22, 2025 ID: 3298
Dafny Locked
File Verified ✓

Summary: Benchmark - DA0037_vericoded.dfy

93 lines Updated Oct 22, 2025 ID: 3297
Dafny Locked
File Verified ✓

Summary: Benchmark - DA0036_vericoded.dfy

36 lines Updated Oct 22, 2025 ID: 3296