v3: agents.md — 28 theorems, GF(p) extensions, honest framing 6e8b342 verified beanapologist commited on Apr 25
sync OilVinegar.lean — 28 theorems (PR #19, deprecation fix) bb7aadc verified beanapologist commited on Apr 25
v2: honest rewrite — uniqueness theorem companion, not a cryptosystem e3775cb verified beanapologist commited on Apr 25
fix: align agents.md with merged OilVinegar.lean (18 theorems) aa21154 verified beanapologist commited on Apr 25
feat: μ-OV cipher interactive demo — sign, verify, tamper test 64ce22f verified beanapologist commited on Apr 25
