Upload Code

The open-source library for

formally verified code

Showing 376–390 of 1,735
Sort by
Lean Locked
Repo Verified ✓

Summary: Benchmark - LT0030_vericoded.lean

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

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

Summary: Benchmark - VT0266_vericoded.rs

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

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

Summary: Benchmark - VT0265_vericoded.rs

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

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

Summary: Benchmark - VT0262_vericoded.rs

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

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

Summary: Benchmark - LT0022_vericoded.lean

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

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

Summary: Benchmark - VT0261_vericoded.rs

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

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

Summary: Benchmark - VT0256_vericoded.rs

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

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

Summary: Benchmark - VT0250_vericoded.rs

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

2 files Updated Nov 19, 2025 ID: 4708
Lean Locked
Repo

Summary: Benchmark - LT0020_vericoded.lean

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

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

Summary: Benchmark - VT0247_vericoded.rs

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

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

Summary: Benchmark - LT0017_vericoded.lean

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

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

Summary: Benchmark - VT0246_vericoded.rs

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

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

Summary: Benchmark - VT0244_vericoded.rs

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

2 files Updated Nov 19, 2025 ID: 4705
Lean Locked
Repo

Summary: Benchmark - LT0007_vericoded.lean

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

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

Summary: Benchmark - VT0243_vericoded.rs

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

2 files Updated Nov 19, 2025 ID: 4704