Upload Code

The open-source library for

formally verified code

Showing 1276–1290 of 1,737
Sort by
Lean Locked
Repo Verified ✓

Summary: Benchmark - LA0654_vericoded.lean

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

3 files Updated Nov 19, 2025 ID: 3732
Lean Locked
Repo Verified ✓

Summary: Benchmark - LA0652_vericoded.lean

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

3 files Updated Nov 19, 2025 ID: 3731
Lean Locked
Repo

Summary: Benchmark - LA0650_vericoded.lean

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

3 files Updated Nov 19, 2025 ID: 3730
Lean Locked
Repo Verified ✓

Summary: Benchmark - LA0649_vericoded.lean

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

3 files Updated Nov 19, 2025 ID: 3729
Lean Locked
Repo Verified ✓

Summary: Benchmark - LA0646_vericoded.lean

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

3 files Updated Nov 19, 2025 ID: 3728
Lean Locked
Repo Verified ✓

Summary: Benchmark - LA0644_vericoded.lean

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

3 files Updated Nov 19, 2025 ID: 3727
Lean Locked
Repo Verified ✓

Summary: Benchmark - LA0641_vericoded.lean

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

3 files Updated Nov 19, 2025 ID: 3726
Lean Locked
Repo Verified ✓

Summary: Benchmark - LA0639_vericoded.lean

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

3 files Updated Nov 19, 2025 ID: 3725
Lean Locked
Repo Verified ✓

Summary: Benchmark - LA0637_vericoded.lean

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

3 files Updated Nov 19, 2025 ID: 3724
Lean Locked
Repo Verified ✓

Summary: Benchmark - LA0633_vericoded.lean

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

3 files Updated Nov 19, 2025 ID: 3723
Lean Locked
Repo Verified ✓

Summary: Benchmark - LA0632_vericoded.lean

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

3 files Updated Nov 19, 2025 ID: 3722
Lean Locked
Repo Verified ✓

Summary: Benchmark - LA0629_vericoded.lean

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

3 files Updated Nov 19, 2025 ID: 3721
Lean Locked
Repo Verified ✓

Summary: Benchmark - LA0627_vericoded.lean

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

3 files Updated Nov 19, 2025 ID: 3720
Lean Locked
Repo Verified ✓

Summary: Benchmark - LA0625_vericoded.lean

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

3 files Updated Nov 19, 2025 ID: 3719
Lean Locked
Repo Verified ✓

Summary: Benchmark - LA0624_vericoded.lean

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

3 files Updated Nov 19, 2025 ID: 3718