Upload Code

The open-source library for

formally verified code

Showing 1366–1380 of 1,737
Sort by
Lean Locked
Repo Verified ✓

Summary: Benchmark - LA0418_vericoded.lean

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

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

Summary: Benchmark - LA0417_vericoded.lean

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

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

Summary: Benchmark - LA0411_vericoded.lean

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

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

Summary: Benchmark - LA0409_vericoded.lean

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

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

Summary: Benchmark - LA0408_vericoded.lean

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

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

Summary: Benchmark - LA0407_vericoded.lean

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

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

Summary: Benchmark - LA0405_vericoded.lean

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

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

Summary: Benchmark - LA0404_vericoded.lean

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

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

Summary: Benchmark - LA0403_vericoded.lean

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

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

Summary: Benchmark - LA0399_vericoded.lean

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

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

Summary: Benchmark - LA0397_vericoded.lean

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

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

Summary: Benchmark - LA0396_vericoded.lean

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

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

Summary: Benchmark - LA0388_vericoded.lean

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

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

Summary: Benchmark - LA0383_vericoded.lean

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

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

Summary: Benchmark - LA0375_vericoded.lean

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

3 files Updated Nov 18, 2025 ID: 3628