Upload Code

The open-source library for

formally verified code

Showing 1306–1320 of 1,737
Sort by
Lean Locked
Repo Verified ✓

Summary: Benchmark - LA0579_vericoded.lean

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

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

Summary: Benchmark - LA0576_vericoded.lean

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

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

Summary: Benchmark - LA0571_vericoded.lean

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

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

Summary: Benchmark - LA0570_vericoded.lean

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

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

Summary: Benchmark - LA0569_vericoded.lean

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

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

Summary: Benchmark - LA0564_vericoded.lean

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

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

Summary: Benchmark - LA0562_vericoded.lean

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

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

Summary: Benchmark - LA0561_vericoded.lean

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

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

Summary: Benchmark - LA0560_vericoded.lean

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

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

Summary: Benchmark - LA0558_vericoded.lean

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

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

Summary: Benchmark - LA0556_vericoded.lean

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

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

Summary: Benchmark - LA0554_vericoded.lean

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

3 files Updated Nov 18, 2025 ID: 3691
Lean Locked
Repo Verified ✓

Summary: Benchmark - LA0553_vericoded.lean

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

3 files Updated Nov 18, 2025 ID: 3690
Lean Locked
Repo Verified ✓

Summary: Benchmark - LA0542_vericoded.lean

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

3 files Updated Nov 18, 2025 ID: 3689
Lean Locked
Repo Verified ✓

Summary: Benchmark - LA0540_vericoded.lean

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

3 files Updated Nov 18, 2025 ID: 3688