Upload Code

The open-source library for

formally verified code

Showing 76–90 of 1,743
Sort by
Rust
View
Repo

Summary: Benchmark - VT0419_vericoded.rs

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

2 files Updated Nov 19, 2025 ID: 4797
Lean
View
Repo Verified ✓

Summary: Benchmark - LV0064_vericoded.lean

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

3 files Updated Nov 19, 2025 ID: 4077
Lean
View
Repo Verified ✓

Summary: Benchmark - LV0062_vericoded.lean

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

3 files Updated Nov 19, 2025 ID: 4076
Rust
View
Repo

Summary: Benchmark - VT0418_vericoded.rs

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

2 files Updated Nov 19, 2025 ID: 4796
Rust
View
Repo

Summary: Benchmark - VT0417_vericoded.rs

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

2 files Updated Nov 19, 2025 ID: 4795
Lean
View
Repo Verified ✓

Summary: Benchmark - LV0059_vericoded.lean

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

3 files Updated Nov 19, 2025 ID: 4075
Rust
View
Repo

Summary: Benchmark - VT0416_vericoded.rs

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

2 files Updated Nov 19, 2025 ID: 4794
Rust
View
Repo

Summary: Benchmark - VT0415_vericoded.rs

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

2 files Updated Nov 19, 2025 ID: 4793
Lean
View
Repo Verified ✓

Summary: Benchmark - LV0058_vericoded.lean

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

3 files Updated Nov 19, 2025 ID: 4074
Rust
View
Repo

Summary: Benchmark - VT0412_vericoded.rs

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

2 files Updated Nov 19, 2025 ID: 4792
Lean
View
Repo Verified ✓

Summary: Benchmark - LV0040_vericoded.lean

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

3 files Updated Nov 19, 2025 ID: 4073
Rust
View
Repo

Summary: Benchmark - VT0411_vericoded.rs

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

2 files Updated Nov 19, 2025 ID: 4791
Rust
View
Repo

Summary: Benchmark - VV0124_vericoded.rs

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

2 files Updated Nov 19, 2025 ID: 4948
Rust
View
Repo

Summary: Benchmark - VV0036_vericoded.rs

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

2 files Updated Nov 19, 2025 ID: 4910
Rust
View
Repo

Summary: Benchmark - VT0475_vericoded.rs

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

2 files Updated Nov 19, 2025 ID: 4820