Upload Code

The open-source library for

formally verified code

Showing 766–780 of 1,737
Sort by
Rust Locked
Repo

Summary: Benchmark - VJ0015_vericoded.rs

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

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

Summary: Benchmark - LJ0000_vericoded.lean

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

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

Summary: Benchmark - VJ0014_vericoded.rs

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

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

Summary: Benchmark - VJ0013_vericoded.rs

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

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

Summary: Benchmark - VJ0012_vericoded.rs

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

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

Summary: Benchmark - LD0920_vericoded.lean

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

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

Summary: Benchmark - VJ0011_vericoded.rs

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

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

Summary: Benchmark - VJ0010_vericoded.rs

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

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

Summary: Benchmark - LD0873_vericoded.lean

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

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

Summary: Benchmark - VJ0009_vericoded.rs

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

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

Summary: Benchmark - VJ0006_vericoded.rs

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

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

Summary: Benchmark - LD0872_vericoded.lean

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

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

Summary: Benchmark - VJ0005_vericoded.rs

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

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

Summary: Benchmark - VJ0004_vericoded.rs

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

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

Summary: Benchmark - LD0858_vericoded.lean

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

3 files Updated Nov 19, 2025 ID: 3917