Upload Code

The open-source library for

formally verified code

Showing 586–600 of 1,737
Sort by
Rust Locked
Repo

Summary: Benchmark - VS0013_vericoded.rs

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

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

Summary: Benchmark - VS0011_vericoded.rs

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

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

Summary: Benchmark - LJ0099_vericoded.lean

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

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

Summary: Benchmark - VS0010_vericoded.rs

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

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

Summary: Benchmark - VS0008_vericoded.rs

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

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

Summary: Benchmark - LJ0097_vericoded.lean

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

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

Summary: Benchmark - VS0007_vericoded.rs

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

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

Summary: Benchmark - VS0006_vericoded.rs

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

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

Summary: Benchmark - VS0005_vericoded.rs

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

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

Summary: Benchmark - LJ0094_vericoded.lean

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

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

Summary: Benchmark - VS0003_vericoded.rs

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

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

Summary: Benchmark - VJ0171_vericoded.rs

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

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

Summary: Benchmark - LJ0092_vericoded.lean

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

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

Summary: Benchmark - VJ0170_vericoded.rs

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

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

Summary: Benchmark - VJ0168_vericoded.rs

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

2 files Updated Nov 19, 2025 ID: 4556