Antje Worring baf2ba8c40 fix(ec): machine-check all 14 theories (R_q_xi order, w_low_t, wrapper intros, RLWE_Functional comment); discharge combine bridge C11 to a lemma via no_leak_z_aggregate keystone, residual shrunk to public w-agreement

2026-06-21 18:10:48 -07:00

..

easycrypt

fix(ec): machine-check all 14 theories (R_q_xi order, w_low_t, wrapper intros, RLWE_Functional comment); discharge combine bridge C11 to a lemma via no_leak_z_aggregate keystone, residual shrunk to public w-agreement

2026-06-21 18:10:48 -07:00

lean-easycrypt-bridge.md

proofs: Lean <-> EC bridge map + check-lean-bridge.sh CI guard

2026-05-19 08:38:08 -07:00