Upload Code

The open-source library for

formally verified code

Showing 1715 results
Sort by
Lean Locked
Repo Verified ✓

Summary: Benchmark - LV0122_vericoded.lean

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

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

Summary: Benchmark - LV0110_vericoded.lean

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

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

Summary: Benchmark - LV0106_vericoded.lean

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

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

Summary: Benchmark - LV0103_vericoded.lean

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

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

Summary: Benchmark - LV0100_vericoded.lean

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

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

Summary: Benchmark - LV0098_vericoded.lean

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

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

Summary: Benchmark - LV0094_vericoded.lean

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

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

Summary: Benchmark - LV0092_vericoded.lean

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

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

Summary: Benchmark - LV0091_vericoded.lean

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

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

Summary: Benchmark - LV0088_vericoded.lean

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

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

Summary: Benchmark - LV0087_vericoded.lean

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

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

Summary: Benchmark - LV0086_vericoded.lean

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

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

Summary: Benchmark - LV0085_vericoded.lean

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

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

Summary: Benchmark - LV0076_vericoded.lean

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

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

Summary: Benchmark - LV0073_vericoded.lean

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

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