Upload Code

The open-source library for

formally verified code

Showing 361–375 of 1,735
Sort by
Lean Locked
Repo Verified ✓

Summary: Benchmark - LT0071_vericoded.lean

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

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

Summary: Benchmark - VT0287_vericoded.rs

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

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

Summary: Benchmark - VT0286_vericoded.rs

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

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

Summary: Benchmark - LT0070_vericoded.lean

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

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

Summary: Benchmark - VT0284_vericoded.rs

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

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

Summary: Benchmark - VT0283_vericoded.rs

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

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

Summary: Benchmark - LT0054_vericoded.lean

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

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

Summary: Benchmark - VT0280_vericoded.rs

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

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

Summary: Benchmark - VT0279_vericoded.rs

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

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

Summary: Benchmark - LT0039_vericoded.lean

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

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

Summary: Benchmark - VT0278_vericoded.rs

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

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

Summary: Benchmark - VT0276_vericoded.rs

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

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

Summary: Benchmark - LT0031_vericoded.lean

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

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

Summary: Benchmark - VT0275_vericoded.rs

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

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

Summary: Benchmark - VT0269_vericoded.rs

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

2 files Updated Nov 19, 2025 ID: 4714