Upload Code

The open-source library for

formally verified code

Showing 1715 results
Sort by
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 - 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
Lean Locked
Repo Verified ✓

Summary: Benchmark - LS0036_vericoded.lean

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

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

Summary: Benchmark - VT0190_vericoded.rs

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

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

Summary: Benchmark - VT0189_vericoded.rs

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

2 files Updated Nov 19, 2025 ID: 4673
Lean Locked
Repo

Summary: Benchmark - LS0035_vericoded.lean

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

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

Summary: Benchmark - VT0187_vericoded.rs

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

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

Summary: Benchmark - VT0184_vericoded.rs

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

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

Summary: Benchmark - LS0032_vericoded.lean

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

3 files Updated Nov 19, 2025 ID: 4013
Load more Results