Upload Code

The open-source library for

formally verified code

Showing 1231–1245 of 1,737
Sort by
Rust Locked
Repo

Summary: Benchmark - VA0366_vericoded.rs

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

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

Summary: Benchmark - VA0363_vericoded.rs

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

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

Summary: Benchmark - LD0012_vericoded.lean

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

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

Summary: Benchmark - VA0361_vericoded.rs

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

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

Summary: Benchmark - LD0011_vericoded.lean

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

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

Summary: Benchmark - VA0356_vericoded.rs

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

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

Summary: Benchmark - VA0353_vericoded.rs

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

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

Summary: Benchmark - LC0112_vericoded.lean

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

3 files Updated Nov 19, 2025 ID: 3770
Lean Locked
Repo Verified ✓

Summary: Benchmark - LC0094_vericoded.lean

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

3 files Updated Nov 19, 2025 ID: 3769
Lean Locked
Repo Verified ✓

Summary: Benchmark - LC0062_vericoded.lean

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

3 files Updated Nov 19, 2025 ID: 3768
Lean Locked
Repo Verified ✓

Summary: Benchmark - LC0053_vericoded.lean

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

3 files Updated Nov 19, 2025 ID: 3767
Lean Locked
Repo Verified ✓

Summary: Benchmark - LC0052_vericoded.lean

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

3 files Updated Nov 19, 2025 ID: 3766
Lean Locked
Repo Verified ✓

Summary: Benchmark - LC0047_vericoded.lean

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

3 files Updated Nov 19, 2025 ID: 3765
Lean Locked
Repo Verified ✓

Summary: Benchmark - LC0045_vericoded.lean

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

3 files Updated Nov 19, 2025 ID: 3764
Lean Locked
Repo Verified ✓

Summary: Benchmark - LC0044_vericoded.lean

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

3 files Updated Nov 19, 2025 ID: 3763