Upload Code

The open-source library for

formally verified code

Showing 721–735 of 1,737
Sort by
Lean Locked
Repo Verified ✓

Summary: Benchmark - LJ0032_vericoded.lean

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

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

Summary: Benchmark - VJ0050_vericoded.rs

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

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

Summary: Benchmark - VJ0049_vericoded.rs

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

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

Summary: Benchmark - LJ0031_vericoded.lean

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

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

Summary: Benchmark - VJ0048_vericoded.rs

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

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

Summary: Benchmark - VJ0047_vericoded.rs

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

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

Summary: Benchmark - VJ0046_vericoded.rs

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

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

Summary: Benchmark - LJ0028_vericoded.lean

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

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

Summary: Benchmark - VJ0045_vericoded.rs

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

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

Summary: Benchmark - VJ0044_vericoded.rs

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

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

Summary: Benchmark - LJ0027_vericoded.lean

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

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

Summary: Benchmark - VJ0043_vericoded.rs

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

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

Summary: Benchmark - VJ0042_vericoded.rs

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

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

Summary: Benchmark - LJ0025_vericoded.lean

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

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

Summary: Benchmark - VJ0041_vericoded.rs

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

2 files Updated Nov 19, 2025 ID: 4460