Upload Code
Home / steven

steven

@steven

2 repositories

Showing 1–2 of 2
Sort by
Lean
View
Aeneas Verified ✓

Summary: Verilib_Dalek_Aeneas

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

@steven 372 files Jun 8, 2026 ID: 5155
Lean
View
Lean Verified ✓

Summary: SL_VP_LEAN_ZIP_002

Repo: https://github.com/kim-em/lean-zip

@steven 797 files Jun 8, 2026 ID: 5154