Upload Code

The open-source library for

formally verified code

Showing 691–705 of 1,737
Sort by
Rust Locked
Repo

Summary: Benchmark - VJ0080_vericoded.rs

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

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

Summary: Benchmark - LJ0042_vericoded.lean

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

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

Summary: Benchmark - VJ0079_vericoded.rs

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

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

Summary: Benchmark - VJ0078_vericoded.rs

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

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

Summary: Benchmark - LJ0041_vericoded.lean

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

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

Summary: Benchmark - VJ0077_vericoded.rs

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

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

Summary: Benchmark - VJ0076_vericoded.rs

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

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

Summary: Benchmark - LJ0039_vericoded.lean

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

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

Summary: Benchmark - VJ0075_vericoded.rs

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

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

Summary: Benchmark - VJ0074_vericoded.rs

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

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

Summary: Benchmark - LJ0038_vericoded.lean

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

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

Summary: Benchmark - VJ0073_vericoded.rs

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

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

Summary: Benchmark - VJ0072_vericoded.rs

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

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

Summary: Benchmark - LJ0037_vericoded.lean

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

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

Summary: Benchmark - VJ0069_vericoded.rs

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

2 files Updated Nov 19, 2025 ID: 4481