Upload Code

The open-source library for

formally verified code

Showing 1396–1410 of 1,737
Sort by
Lean Locked
Repo Verified ✓

Summary: Benchmark - LA0321_vericoded.lean

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

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

Summary: Benchmark - LA0317_vericoded.lean

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

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

Summary: Benchmark - LA0311_vericoded.lean

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

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

Summary: Benchmark - LA0308_vericoded.lean

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

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

Summary: Benchmark - LA0307_vericoded.lean

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

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

Summary: Benchmark - LA0306_vericoded.lean

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

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

Summary: Benchmark - LA0305_vericoded.lean

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

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

Summary: Benchmark - LA0300_vericoded.lean

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

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

Summary: Benchmark - LA0299_vericoded.lean

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

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

Summary: Benchmark - LA0295_vericoded.lean

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

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

Summary: Benchmark - LA0293_vericoded.lean

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

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

Summary: Benchmark - LA0291_vericoded.lean

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

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

Summary: Benchmark - LA0290_vericoded.lean

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

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

Summary: Benchmark - LA0288_vericoded.lean

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

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

Summary: Benchmark - LA0282_vericoded.lean

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

3 files Updated Nov 18, 2025 ID: 3598