Upload Code

The open-source library for

formally verified code

Showing 391–405 of 1,735
Sort by
Rust Locked
Repo

Summary: Benchmark - VT0242_vericoded.rs

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

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

Summary: Benchmark - LT0005_vericoded.lean

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

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

Summary: Benchmark - VT0241_vericoded.rs

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

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

Summary: Benchmark - VT0239_vericoded.rs

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

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

Summary: Benchmark - LT0003_vericoded.lean

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

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

Summary: Benchmark - VT0237_vericoded.rs

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

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

Summary: Benchmark - VT0236_vericoded.rs

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

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

Summary: Benchmark - VT0235_vericoded.rs

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

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

Summary: Benchmark - LT0002_vericoded.lean

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

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

Summary: Benchmark - VT0233_vericoded.rs

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

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

Summary: Benchmark - LS0058_vericoded.lean

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

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

Summary: Benchmark - VT0230_vericoded.rs

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

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

Summary: Benchmark - VT0227_vericoded.rs

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

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

Summary: Benchmark - LS0057_vericoded.lean

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

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

Summary: Benchmark - VT0226_vericoded.rs

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

2 files Updated Nov 19, 2025 ID: 4694