Upload Code

The open-source library for

formally verified code

Showing 1336–1350 of 1,737
Sort by
Lean Locked
Repo Verified ✓

Summary: Benchmark - LA0513_vericoded.lean

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

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

Summary: Benchmark - LA0511_vericoded.lean

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

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

Summary: Benchmark - LA0509_vericoded.lean

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

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

Summary: Benchmark - LA0503_vericoded.lean

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

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

Summary: Benchmark - LA0500_vericoded.lean

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

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

Summary: Benchmark - LA0499_vericoded.lean

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

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

Summary: Benchmark - LA0496_vericoded.lean

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

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

Summary: Benchmark - LA0495_vericoded.lean

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

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

Summary: Benchmark - LA0493_vericoded.lean

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

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

Summary: Benchmark - LA0490_vericoded.lean

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

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

Summary: Benchmark - LA0488_vericoded.lean

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

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

Summary: Benchmark - LA0487_vericoded.lean

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

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

Summary: Benchmark - LA0484_vericoded.lean

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

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

Summary: Benchmark - LA0479_vericoded.lean

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

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

Summary: Benchmark - LA0477_vericoded.lean

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

3 files Updated Nov 18, 2025 ID: 3658