Upload Code

The open-source library for

formally verified code

Showing 1724 results
Sort by
Lean Locked
Repo

Summary: Oliver Bignum

Repo: https://github.com/oliver-butterley/BigNum

15 files Updated Dec 2, 2025 ID: 3250
Rust Locked
Repo

Summary: TreuRust_Sofia

Repo: https://github.com/sofia-lanfri/test_true/tree/main/src

2 files Updated Dec 1, 2025 ID: 5018
Lean Locked
Repo Verified ✓

Summary: Benchmark - LV0181_vericoded.lean

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

3 files Updated Nov 19, 2025 ID: 4116
Lean Locked
Repo Verified ✓

Summary: Benchmark - LV0180_vericoded.lean

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

3 files Updated Nov 19, 2025 ID: 4115
Lean Locked
Repo Verified ✓

Summary: Benchmark - LV0178_vericoded.lean

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

3 files Updated Nov 19, 2025 ID: 4114
Lean Locked
Repo Verified ✓

Summary: Benchmark - LV0176_vericoded.lean

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

3 files Updated Nov 19, 2025 ID: 4113
Lean Locked
Repo Verified ✓

Summary: Benchmark - LV0174_vericoded.lean

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

3 files Updated Nov 19, 2025 ID: 4112
Lean Locked
Repo Verified ✓

Summary: Benchmark - LV0173_vericoded.lean

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

3 files Updated Nov 19, 2025 ID: 4111
Lean Locked
Repo Verified ✓

Summary: Benchmark - LV0172_vericoded.lean

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

3 files Updated Nov 19, 2025 ID: 4110
Lean Locked
Repo Verified ✓

Summary: Benchmark - LV0171_vericoded.lean

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

3 files Updated Nov 19, 2025 ID: 4109
Lean Locked
Repo Verified ✓

Summary: Benchmark - LV0168_vericoded.lean

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

3 files Updated Nov 19, 2025 ID: 4108
Lean Locked
Repo Verified ✓

Summary: Benchmark - LV0166_vericoded.lean

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

3 files Updated Nov 19, 2025 ID: 4107
Lean Locked
Repo Verified ✓

Summary: Benchmark - LV0158_vericoded.lean

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

3 files Updated Nov 19, 2025 ID: 4106
Lean Locked
Repo Verified ✓

Summary: Benchmark - LV0156_vericoded.lean

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

3 files Updated Nov 19, 2025 ID: 4105
Lean Locked
Repo Verified ✓

Summary: Benchmark - LV0146_vericoded.lean

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

3 files Updated Nov 19, 2025 ID: 4104
Load more Results