Upload Code

The open-source library for

formally verified code

Showing 1715 results
Sort by
Lean Locked
Repo Verified ✓

Summary: Benchmark - LV0171_vericoded.lean

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

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

Summary: Benchmark - LV0168_vericoded.lean

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

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

Summary: Benchmark - LV0166_vericoded.lean

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

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

Summary: Benchmark - LV0158_vericoded.lean

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

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

Summary: Benchmark - LV0156_vericoded.lean

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

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

Summary: Benchmark - LV0146_vericoded.lean

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

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

Summary: Benchmark - LV0145_vericoded.lean

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

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

Summary: Benchmark - LV0141_vericoded.lean

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

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

Summary: Benchmark - LV0140_vericoded.lean

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

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

Summary: Benchmark - LV0139_vericoded.lean

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

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

Summary: Benchmark - LV0137_vericoded.lean

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

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

Summary: Benchmark - LV0135_vericoded.lean

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

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

Summary: Benchmark - LV0133_vericoded.lean

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

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

Summary: Benchmark - LV0130_vericoded.lean

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

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

Summary: Benchmark - LV0125_vericoded.lean

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

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