Upload Code

The open-source library for

formally verified code

Showing 1351–1365 of 1,737
Sort by
Lean Locked
Repo Verified ✓

Summary: Benchmark - LA0475_vericoded.lean

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

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

Summary: Benchmark - LA0474_vericoded.lean

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

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

Summary: Benchmark - LA0468_vericoded.lean

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

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

Summary: Benchmark - LA0459_vericoded.lean

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

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

Summary: Benchmark - LA0452_vericoded.lean

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

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

Summary: Benchmark - LA0450_vericoded.lean

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

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

Summary: Benchmark - LA0449_vericoded.lean

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

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

Summary: Benchmark - LA0438_vericoded.lean

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

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

Summary: Benchmark - LA0436_vericoded.lean

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

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

Summary: Benchmark - LA0431_vericoded.lean

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

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

Summary: Benchmark - LA0426_vericoded.lean

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

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

Summary: Benchmark - LA0425_vericoded.lean

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

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

Summary: Benchmark - LA0423_vericoded.lean

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

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

Summary: Benchmark - LA0422_vericoded.lean

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

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

Summary: Benchmark - LA0419_vericoded.lean

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

3 files Updated Nov 18, 2025 ID: 3643