Upload Code

The open-source library for

formally verified code

Showing 1291–1305 of 1,737
Sort by
Lean Locked
Repo Verified ✓

Summary: Benchmark - LA0623_vericoded.lean

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

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

Summary: Benchmark - LA0621_vericoded.lean

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

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

Summary: Benchmark - LA0620_vericoded.lean

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

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

Summary: Benchmark - LA0615_vericoded.lean

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

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

Summary: Benchmark - LA0614_vericoded.lean

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

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

Summary: Benchmark - LA0613_vericoded.lean

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

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

Summary: Benchmark - LA0607_vericoded.lean

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

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

Summary: Benchmark - LA0602_vericoded.lean

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

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

Summary: Benchmark - LA0601_vericoded.lean

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

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

Summary: Benchmark - LA0599_vericoded.lean

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

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

Summary: Benchmark - LA0598_vericoded.lean

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

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

Summary: Benchmark - LA0595_vericoded.lean

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

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

Summary: Benchmark - LA0586_vericoded.lean

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

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

Summary: Benchmark - LA0585_vericoded.lean

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

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

Summary: Benchmark - LA0583_vericoded.lean

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

3 files Updated Nov 19, 2025 ID: 3703