Upload Code

The open-source library for

formally verified code

Showing 1441–1455 of 1,737
Sort by
Dafny Locked
File Verified ✓

Summary: Benchmark - DA0085_vericoded.dfy

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

Summary: Benchmark - DA0084_vericoded.dfy

47 lines Updated Oct 22, 2025 ID: 3339
Dafny Locked
File Verified ✓

Summary: Benchmark - DA0083_vericoded.dfy

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

Summary: Benchmark - DA0082_vericoded.dfy

112 lines Updated Oct 22, 2025 ID: 3337
Dafny Locked
File Verified ✓

Summary: Benchmark - DA0080_vericoded.dfy

86 lines Updated Oct 22, 2025 ID: 3336
Dafny Locked
File Verified ✓

Summary: Benchmark - DA0078_vericoded.dfy

41 lines Updated Oct 22, 2025 ID: 3334
Dafny Locked
File Verified ✓

Summary: Benchmark - DA0079_vericoded.dfy

80 lines Updated Oct 22, 2025 ID: 3335
Dafny Locked
File Verified ✓

Summary: Benchmark - DA0077_vericoded.dfy

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

Summary: Benchmark - DA0075_vericoded.dfy

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

Summary: Benchmark - DA0074_vericoded.dfy

46 lines Updated Oct 22, 2025 ID: 3331
Dafny Locked
File Verified ✓

Summary: Benchmark - DA0073_vericoded.dfy

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

Summary: Benchmark - DA0072_vericoded.dfy

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

Summary: Benchmark - DA0071_vericoded.dfy

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

Summary: Benchmark - DA0070_vericoded.dfy

52 lines Updated Oct 22, 2025 ID: 3327
Dafny Locked
File Verified ✓

Summary: Benchmark - DA0069_vericoded.dfy

43 lines Updated Oct 22, 2025 ID: 3326