zhangliao714

Summary: SymCrypt — verified SymCrypt-Rust SHA-3 and ML-KEM

Repo: https://github.com/Zhang-Liao/SymCRust-lean

Summary: Four-digit Kaprekar Dynamics in Odd Bases

Repo: https://github.com/Zhang-Liao/kaprekar4

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: A zero-knowledge Lean4 compiler and kernel

Repo: https://github.com/argumentcomputer/yatima

Summary: Arklib

Repo: https://github.com/Verified-zkEVM/ArkLib