Upload Code

The open-source library for

formally verified code

Showing 1321–1335 of 1,737
Sort by
Lean Locked
Repo Verified ✓

Summary: Benchmark - LA0539_vericoded.lean

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

3 files Updated Nov 18, 2025 ID: 3687
Lean Locked
Repo

Summary: Benchmark - LA0535_vericoded.lean

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

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

Summary: Benchmark - LA0534_vericoded.lean

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

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

Summary: Benchmark - LA0533_vericoded.lean

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

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

Summary: Benchmark - LA0532_vericoded.lean

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

3 files Updated Nov 18, 2025 ID: 3683
Lean Locked
Repo

Summary: Benchmark - LA0530_vericoded.lean

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

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

Summary: Benchmark - LA0528_vericoded.lean

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

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

Summary: Benchmark - LA0526_vericoded.lean

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

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

Summary: Benchmark - LA0525_vericoded.lean

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

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

Summary: Benchmark - LA0523_vericoded.lean

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

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

Summary: Benchmark - LA0522_vericoded.lean

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

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

Summary: Benchmark - LA0519_vericoded.lean

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

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

Summary: Benchmark - LA0518_vericoded.lean

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

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

Summary: Benchmark - LA0517_vericoded.lean

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

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

Summary: Benchmark - LA0515_vericoded.lean

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

3 files Updated Nov 18, 2025 ID: 3673