Upload Code

The open-source library for

formally verified code

Showing 736–750 of 1,737
Sort by
Rust Locked
Repo

Summary: Benchmark - VJ0040_vericoded.rs

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

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

Summary: Benchmark - VJ0039_vericoded.rs

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

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

Summary: Benchmark - LJ0024_vericoded.lean

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

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

Summary: Benchmark - VJ0038_vericoded.rs

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

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

Summary: Benchmark - VJ0037_vericoded.rs

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

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

Summary: Benchmark - LJ0019_vericoded.lean

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

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

Summary: Benchmark - VJ0036_vericoded.rs

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

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

Summary: Benchmark - VJ0035_vericoded.rs

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

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

Summary: Benchmark - LJ0018_vericoded.lean

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

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

Summary: Benchmark - VJ0034_vericoded.rs

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

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

Summary: Benchmark - VJ0033_vericoded.rs

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

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

Summary: Benchmark - VJ0032_vericoded.rs

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

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

Summary: Benchmark - LJ0017_vericoded.lean

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

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

Summary: Benchmark - VJ0031_vericoded.rs

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

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

Summary: Benchmark - VJ0028_vericoded.rs

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

2 files Updated Nov 19, 2025 ID: 4449