Upload Code

The open-source library for

formally verified code

Showing 1715 results
Sort by
Lean Locked
Repo Verified ✓

Summary: Benchmark - LV0069_vericoded.lean

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

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

Summary: Benchmark - LV0065_vericoded.lean

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

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

Summary: Benchmark - LV0064_vericoded.lean

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

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

Summary: Benchmark - VT0419_vericoded.rs

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

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

Summary: Benchmark - LV0062_vericoded.lean

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

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

Summary: Benchmark - VT0418_vericoded.rs

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

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

Summary: Benchmark - LV0059_vericoded.lean

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

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

Summary: Benchmark - VT0417_vericoded.rs

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

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

Summary: Benchmark - VT0416_vericoded.rs

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

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

Summary: Benchmark - VT0415_vericoded.rs

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

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

Summary: Benchmark - LV0058_vericoded.lean

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

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

Summary: Benchmark - VT0412_vericoded.rs

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

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

Summary: Benchmark - LV0040_vericoded.lean

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

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

Summary: Benchmark - VT0411_vericoded.rs

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

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

Summary: Benchmark - VV0155_vericoded.rs

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

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