Upload Code

The open-source library for

formally verified code

Showing 331–345 of 1,735
Sort by
Lean Locked
Repo Verified ✓

Summary: Benchmark - LT0192_vericoded.lean

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

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

Summary: Benchmark - VT0318_vericoded.rs

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

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

Summary: Benchmark - VT0317_vericoded.rs

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

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

Summary: Benchmark - LT0189_vericoded.lean

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

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

Summary: Benchmark - VT0315_vericoded.rs

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

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

Summary: Benchmark - VT0314_vericoded.rs

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

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

Summary: Benchmark - VT0313_vericoded.rs

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

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

Summary: Benchmark - LT0171_vericoded.lean

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

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

Summary: Benchmark - VT0312_vericoded.rs

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

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

Summary: Benchmark - LT0169_vericoded.lean

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

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

Summary: Benchmark - VT0311_vericoded.rs

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

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

Summary: Benchmark - VT0310_vericoded.rs

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

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

Summary: Benchmark - LT0168_vericoded.lean

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

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

Summary: Benchmark - VT0309_vericoded.rs

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

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

Summary: Benchmark - VT0308_vericoded.rs

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

2 files Updated Nov 19, 2025 ID: 4734