Upload Code

The open-source library for

formally verified code

Showing 1456–1470 of 1,737
Sort by
Dafny Locked
File Verified ✓

Summary: Benchmark - DA0068_vericoded.dfy

161 lines Updated Oct 22, 2025 ID: 3325
Dafny Locked
File Verified ✓

Summary: Benchmark - DA0067_vericoded.dfy

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

Summary: Benchmark - DA0066_vericoded.dfy

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

Summary: Benchmark - DA0064_vericoded.dfy

129 lines Updated Oct 22, 2025 ID: 3322
Dafny Locked
File Verified ✓

Summary: Benchmark - DA0063_vericoded.dfy

205 lines Updated Oct 22, 2025 ID: 3321
Dafny Locked
File Verified ✓

Summary: Benchmark - DA0062_vericoded.dfy

370 lines Updated Oct 22, 2025 ID: 3320
Dafny Locked
File Verified ✓

Summary: Benchmark - DA0060_vericoded.dfy

36 lines Updated Oct 22, 2025 ID: 3319
Dafny Locked
File Verified ✓

Summary: Benchmark - DA0059_vericoded.dfy

51 lines Updated Oct 22, 2025 ID: 3318
Dafny Locked
File Verified ✓

Summary: Benchmark - DA0058_vericoded.dfy

159 lines Updated Oct 22, 2025 ID: 3317
Dafny Locked
File Verified ✓

Summary: Benchmark - DA0057_vericoded.dfy

137 lines Updated Oct 22, 2025 ID: 3316
Dafny Locked
File Verified ✓

Summary: Benchmark - DA0056_vericoded.dfy

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

Summary: Benchmark - DA0055_vericoded.dfy

83 lines Updated Oct 22, 2025 ID: 3314
Dafny Locked
File Verified ✓

Summary: Benchmark - DA0054_vericoded.dfy

32 lines Updated Oct 22, 2025 ID: 3313
Dafny Locked
File Verified ✓

Summary: Benchmark - DA0053_vericoded.dfy

48 lines Updated Oct 22, 2025 ID: 3312
Dafny Locked
File Verified ✓

Summary: Benchmark - DA0052_vericoded.dfy

191 lines Updated Oct 22, 2025 ID: 3311