Upload Code

The open-source library for

formally verified code

Showing 421–435 of 1,737
Sort by
Lean Locked
Repo Verified ✓

Summary: Benchmark - LS0044_vericoded.lean

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

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

Summary: Benchmark - VT0209_vericoded.rs

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

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

Summary: Benchmark - VT0208_vericoded.rs

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

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

Summary: Benchmark - LS0041_vericoded.lean

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

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

Summary: Benchmark - VT0207_vericoded.rs

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

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

Summary: Benchmark - VT0206_vericoded.rs

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

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

Summary: Benchmark - LS0040_vericoded.lean

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

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

Summary: Benchmark - VT0205_vericoded.rs

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

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

Summary: Benchmark - VT0200_vericoded.rs

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

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

Summary: Benchmark - VT0199_vericoded.rs

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

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

Summary: Benchmark - LS0039_vericoded.lean

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

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

Summary: Benchmark - VT0195_vericoded.rs

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

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

Summary: Benchmark - LS0037_vericoded.lean

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

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

Summary: Benchmark - VT0194_vericoded.rs

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

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

Summary: Benchmark - VT0192_vericoded.rs

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

2 files Updated Nov 19, 2025 ID: 4675