Upload Code

The open-source library for

formally verified code

Showing 1246–1260 of 1,737
Sort by
Lean Locked
Repo Verified ✓

Summary: Benchmark - LC0041_vericoded.lean

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

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

Summary: Benchmark - LC0040_vericoded.lean

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

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

Summary: Benchmark - LC0033_vericoded.lean

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

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

Summary: Benchmark - LC0008_vericoded.lean

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

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

Summary: Benchmark - LC0004_vericoded.lean

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

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

Summary: Benchmark - LB0053_vericoded.lean

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

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

Summary: Benchmark - LB0052_vericoded.lean

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

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

Summary: Benchmark - LB0020_vericoded.lean

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

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

Summary: Benchmark - LB0009_vericoded.lean

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

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

Summary: Benchmark - LB0006_vericoded.lean

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

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

Summary: Benchmark - LB0004_vericoded.lean

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

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

Summary: Benchmark - LB0003_vericoded.lean

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

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

Summary: Benchmark - LB0002_vericoded.lean

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

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

Summary: Benchmark - LA0676_vericoded.lean

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

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

Summary: Benchmark - LA0675_vericoded.lean

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

3 files Updated Nov 19, 2025 ID: 3748