Upload Code

The open-source library for

formally verified code

Showing 1201–1215 of 1,737
Sort by
Lean Locked
Repo Verified ✓

Summary: Benchmark - LD0064_vericoded.lean

Repo: https://github.com/Beneficial-AI-Foundation/vericoded-lean-benchmark

3 files Updated Nov 19, 2025 ID: 3783
Rust Locked
Repo

Summary: Benchmark - VA0451_vericoded.rs

Repo: https://github.com/Beneficial-AI-Foundation/vericoded-verus-benchmark

2 files Updated Nov 19, 2025 ID: 4141
Rust Locked
Repo

Summary: Benchmark - VA0445_vericoded.rs

Repo: https://github.com/Beneficial-AI-Foundation/vericoded-verus-benchmark

2 files Updated Nov 19, 2025 ID: 4140
Lean Locked
Repo Verified ✓

Summary: Benchmark - LD0059_vericoded.lean

Repo: https://github.com/Beneficial-AI-Foundation/vericoded-lean-benchmark

3 files Updated Nov 19, 2025 ID: 3782
Rust Locked
Repo

Summary: Benchmark - VA0429_vericoded.rs

Repo: https://github.com/Beneficial-AI-Foundation/vericoded-verus-benchmark

2 files Updated Nov 19, 2025 ID: 4139
Rust Locked
Repo

Summary: Benchmark - VA0426_vericoded.rs

Repo: https://github.com/Beneficial-AI-Foundation/vericoded-verus-benchmark

2 files Updated Nov 19, 2025 ID: 4138
Lean Locked
Repo Verified ✓

Summary: Benchmark - LD0058_vericoded.lean

Repo: https://github.com/Beneficial-AI-Foundation/vericoded-lean-benchmark

3 files Updated Nov 19, 2025 ID: 3781
Rust Locked
Repo

Summary: Benchmark - VA0423_vericoded.rs

Repo: https://github.com/Beneficial-AI-Foundation/vericoded-verus-benchmark

2 files Updated Nov 19, 2025 ID: 4137
Lean Locked
Repo Verified ✓

Summary: Benchmark - LD0057_vericoded.lean

Repo: https://github.com/Beneficial-AI-Foundation/vericoded-lean-benchmark

3 files Updated Nov 19, 2025 ID: 3780
Rust Locked
Repo

Summary: Benchmark - VA0422_vericoded.rs

Repo: https://github.com/Beneficial-AI-Foundation/vericoded-verus-benchmark

2 files Updated Nov 19, 2025 ID: 4136
Rust Locked
Repo

Summary: Benchmark - VA0418_vericoded.rs

Repo: https://github.com/Beneficial-AI-Foundation/vericoded-verus-benchmark

2 files Updated Nov 19, 2025 ID: 4135
Lean Locked
Repo Verified ✓

Summary: Benchmark - LD0055_vericoded.lean

Repo: https://github.com/Beneficial-AI-Foundation/vericoded-lean-benchmark

3 files Updated Nov 19, 2025 ID: 3779
Rust Locked
Repo

Summary: Benchmark - VA0417_vericoded.rs

Repo: https://github.com/Beneficial-AI-Foundation/vericoded-verus-benchmark

2 files Updated Nov 19, 2025 ID: 4134
Rust Locked
Repo

Summary: Benchmark - VA0416_vericoded.rs

Repo: https://github.com/Beneficial-AI-Foundation/vericoded-verus-benchmark

2 files Updated Nov 19, 2025 ID: 4133
Lean Locked
Repo Verified ✓

Summary: Benchmark - LD0053_vericoded.lean

Repo: https://github.com/Beneficial-AI-Foundation/vericoded-lean-benchmark

3 files Updated Nov 19, 2025 ID: 3778