Upload Code

The open-source library for

formally verified code

Showing 1–16 of 1,792
Sort by
Rust
View
Verus Verified ✓

Summary: Dalek Verus upload submission - 07/13/2026, 08:22:39 AM — certified snapshot

Repo: https://github.com/Beneficial-AI-Foundation/dalek-verus

@sofia.lanfri.vgb 161 files Jul 13, 2026 ID: 5287
Rust
View
Aeneas

Summary: curve25519-dalek-lean-verify upload submission - 07/13/2026, 08:23:02 AM

Repo: https://github.com/Beneficial-AI-Foundation/curve25519-dalek-lean-verify

@sofia.lanfri.vgb 404 files Jul 13, 2026 ID: 5280
Rust
View
Verus

Summary: pmemlog_with_callgraph upload submission - 07/13/2026, 08:22:52 AM

Repo: https://github.com/Beneficial-AI-Foundation/pmemlog_with_callgraph

@sofia.lanfri.vgb 23 files Jul 13, 2026 ID: 5279
Rust
View
Aeneas

Summary: SparsePostQuantumRatchet-verify upload submission - 07/13/2026, 08:22:39 AM

Repo: https://github.com/Beneficial-AI-Foundation/SparsePostQuantumRatchet-verify

@sofia.lanfri.vgb 244 files Jul 13, 2026 ID: 5278
Rust
View
Verus

Summary: Dalek Verus upload submission - 07/13/2026, 08:22:39 AM

Repo: https://github.com/Beneficial-AI-Foundation/dalek-verus

@sofia.lanfri.vgb 161 files Jul 13, 2026 ID: 5277
Lean
View
Lean

Summary: PQXDH upload submission - 07/13/2026, 08:22:38 AM

Repo: https://github.com/Beneficial-AI-Foundation/PQXDH

@sofia.lanfri.vgb 174 files Jul 13, 2026 ID: 5276
Rust
View
Verus

Summary: verified-ironkv (ironsht) upload submission - 07/13/2026, 08:22:38 AM

Repo: https://github.com/Beneficial-AI-Foundation/verified-ironkv

@sofia.lanfri.vgb 81 files Jul 13, 2026 ID: 5275
Rust
View
Verus Verified ✓

Summary: Dalek Verus upload submission - 07/10/2026, 04:26:15 PM

Repo: https://github.com/Beneficial-AI-Foundation/dalek-verus

@sofia.lanfri.vgb 161 files Jul 11, 2026 ID: 5273
Rust
View
Aeneas

Summary: curve25519-dalek-lean-verify

Repo: https://github.com/Beneficial-AI-Foundation/curve25519-dalek-lean-verify

@baifdemoa 392 files Jul 10, 2026 ID: 5262
Rust
View
Aeneas Verified ✓

Summary: SparsePostQuantumRatchet-verify — certified snapshot

Repo: https://github.com/Beneficial-AI-Foundation/SparsePostQuantumRatchet-verify

@baifdemoa 227 files Jul 2, 2026 ID: 5260
Rust
View
Aeneas

Summary: curve25519-dalek-lean — certified snapshot

Repo: https://github.com/Beneficial-AI-Foundation/curve25519-dalek-lean-verify

@baifdemoa 392 files Jul 10, 2026 ID: 5259
Lean
View
Lean Verified ✓

Summary: RogersRamanujan

Repo: https://github.com/AxiomMath/RogersRamanujan.git

@zhangliao714 99 files Jul 2, 2026 ID: 5256
Lean
View
Lean Verified ✓

Summary: Erdos1196

Repo: https://github.com/math-inc/Erdos1196.git

@zhangliao714 39 files Jul 1, 2026 ID: 5253
Lean
View
Lean Verified ✓

Summary: Anderson-Conjecture

Repo: https://github.com/frenzymath/Anderson-Conjecture.git

@zhangliao714 57 files Jul 1, 2026 ID: 5252
Lean
View
Lean Verified ✓

Summary: Leancert

Repo: https://github.com/alerad/leancert

@zhangliao714 347 files Jul 2, 2026 ID: 5251
Lean
View
Lean Featured Verified ✓

Summary: Lean4Lean — verified Lean kernel

Repo: https://github.com/digama0/lean4lean

@zhangliao714 91 files Jul 2, 2026 ID: 5245