Summary: curve25519-dalek-lean-verify

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

Summary: SparsePostQuantumRatchet-verify — certified snapshot

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

Summary: RogersRamanujan

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

Summary: Erdos1196

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

Summary: Anderson-Conjecture

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

Summary: Leancert

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

Summary: Lean4Lean — verified Lean kernel

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

Summary: PQXDH

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

Summary: SPQR

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

Summary: dalek-verus

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

Summary: SparsePostQuantumRatchet-verify upload submission - 06/08/2026, 05:48:34 PM — certified snapshot

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

Summary: KVAC-model

Repo: https://github.com/Beneficial-AI-Foundation/KeyedVerificationAnonymousCredential-model

Summary: secure-messaging

Repo: https://github.com/Beneficial-AI-Foundation/secure-messaging

Summary: PQXDH

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

Summary: cedar-lean

Repo: https://github.com/cedar-policy/cedar-spec/tree/main/cedar-lean

Summary: curve25519-dalek-lean

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