Upload Code

The open-source library for

formally verified code

Showing 1516–1530 of 1,737
Sort by
Dafny Locked
File Verified ✓

Summary: Benchmark - DA0002_vericoded.dfy

59 lines Updated Oct 22, 2025 ID: 3264
Dafny Locked
File Verified ✓

Summary: Benchmark - DA0001_vericoded.dfy

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

Summary: Benchmark - DA0000_vericoded.dfy

120 lines Updated Oct 22, 2025 ID: 3262
Lean Locked
File Verified ✓

Summary: Benchmark - LA0073_vericoded.lean

15 lines Updated Oct 22, 2025 ID: 3390
Lean Locked
File Verified ✓

Summary: Benchmark - LA0072_vericoded.lean

15 lines Updated Oct 22, 2025 ID: 3389
Lean Locked
File Verified ✓

Summary: Benchmark - LA0065_vericoded.lean

15 lines Updated Oct 22, 2025 ID: 3386
Lean Locked
File Verified ✓

Summary: Benchmark - LA0063_vericoded.lean

15 lines Updated Oct 22, 2025 ID: 3385
Lean Locked
File Verified ✓

Summary: Benchmark - LA0060_vericoded.lean

15 lines Updated Oct 22, 2025 ID: 3384
Lean Locked
File Verified ✓

Summary: Benchmark - LA0059_vericoded.lean

15 lines Updated Oct 22, 2025 ID: 3383
Lean Locked
File Verified ✓

Summary: Benchmark - LA0056_vericoded.lean

15 lines Updated Oct 22, 2025 ID: 3382
Lean Locked
File Verified ✓

Summary: Benchmark - LA0054_vericoded.lean

15 lines Updated Oct 22, 2025 ID: 3381
Lean Locked
File Verified ✓

Summary: Benchmark - LA0050_vericoded.lean

15 lines Updated Oct 22, 2025 ID: 3380
Lean Locked
File Verified ✓

Summary: Benchmark - LA0049_vericoded.lean

15 lines Updated Oct 22, 2025 ID: 3379
Lean Locked
File Verified ✓

Summary: Benchmark - LA0048_vericoded.lean

15 lines Updated Oct 22, 2025 ID: 3378
Lean Locked
File Verified ✓

Summary: Benchmark - LA0046_vericoded.lean

15 lines Updated Oct 22, 2025 ID: 3377