Upload Code

The open-source library for

formally verified code

Showing 271–285 of 1,735
Sort by
Lean Locked
Repo Verified ✓

Summary: Benchmark - LT0661_vericoded.lean

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

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

Summary: Benchmark - VT0389_vericoded.rs

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

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

Summary: Benchmark - VT0387_vericoded.rs

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

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

Summary: Benchmark - LT0651_vericoded.lean

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

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

Summary: Benchmark - VT0383_vericoded.rs

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

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

Summary: Benchmark - VT0381_vericoded.rs

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

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

Summary: Benchmark - LT0574_vericoded.lean

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

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

Summary: Benchmark - VT0377_vericoded.rs

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

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

Summary: Benchmark - VT0376_vericoded.rs

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

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

Summary: Benchmark - LT0561_vericoded.lean

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

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

Summary: Benchmark - VT0375_vericoded.rs

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

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

Summary: Benchmark - VT0373_vericoded.rs

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

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

Summary: Benchmark - VT0372_vericoded.rs

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

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

Summary: Benchmark - LT0529_vericoded.lean

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

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

Summary: Benchmark - VT0371_vericoded.rs

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

2 files Updated Nov 19, 2025 ID: 4774