luxfi/proofs
1
0
Fork 0
mirror of https://github.com/luxfi/proofs.git synced 2026-10-30 15:21:05 +00:00
Code Issues Packages Projects Releases Wiki Activity
Files
docs/lp-311-dex-settlement-bootstrap-layer8
proofs/AGENTS.md
T
zeekay c59b82e136 lean/Crypto: Magnetar.lean (was Comet.lean) + HQC + lakefile — rip AI slop in docstrings 
Magnetar.lean: top docstring 36→14 lines, inline /-- ... -/ docstrings tightened.
All 9 axioms + 2 theorems preserved verbatim. CHRONOLOGY moved to legacy-md/.
2026-05-18 21:21:12 -07:00

Symbolic link
6 B
Raw Permalink Blame History

LLM.md

Reference in New Issue View Git Blame Copy Permalink