Upload Code

The open-source library for

formally verified code

Showing 1715 results
Sort by
Lean Locked
Repo Verified ✓

Summary: Benchmark - LJ0128_vericoded.lean

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

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

Summary: Benchmark - VT0040_vericoded.rs

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

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

Summary: Benchmark - VT0039_vericoded.rs

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

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

Summary: Benchmark - VT0037_vericoded.rs

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

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

Summary: Benchmark - LJ0127_vericoded.lean

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

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

Summary: Benchmark - VT0036_vericoded.rs

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

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

Summary: Benchmark - VT0031_vericoded.rs

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

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

Summary: Benchmark - VT0030_vericoded.rs

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

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

Summary: Benchmark - LJ0126_vericoded.lean

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

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

Summary: Benchmark - VT0029_vericoded.rs

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

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

Summary: Benchmark - VT0028_vericoded.rs

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

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

Summary: Benchmark - VT0026_vericoded.rs

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

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

Summary: Benchmark - LJ0124_vericoded.lean

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

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

Summary: Benchmark - VT0025_vericoded.rs

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

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

Summary: Benchmark - VT0024_vericoded.rs

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

2 files Updated Nov 19, 2025 ID: 4595
Load more Results