Upload Code

The open-source library for

formally verified code

Showing 1381–1395 of 1,737
Sort by
Lean Locked
Repo Verified ✓

Summary: Benchmark - LA0374_vericoded.lean

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

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

Summary: Benchmark - LA0372_vericoded.lean

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

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

Summary: Benchmark - LA0369_vericoded.lean

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

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

Summary: Benchmark - LA0368_vericoded.lean

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

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

Summary: Benchmark - LA0367_vericoded.lean

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

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

Summary: Benchmark - LA0364_vericoded.lean

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

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

Summary: Benchmark - LA0356_vericoded.lean

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

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

Summary: Benchmark - LA0355_vericoded.lean

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

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

Summary: Benchmark - LA0352_vericoded.lean

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

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

Summary: Benchmark - LA0349_vericoded.lean

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

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

Summary: Benchmark - LA0347_vericoded.lean

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

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

Summary: Benchmark - LA0339_vericoded.lean

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

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

Summary: Benchmark - LA0334_vericoded.lean

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

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

Summary: Benchmark - LA0327_vericoded.lean

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

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

Summary: Benchmark - LA0324_vericoded.lean

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

3 files Updated Nov 18, 2025 ID: 3613