Snapkitty/snapkitty-papers

1---2license: other3license_name: sovereign-source-license-v24language:5- en6tags:7- formal-mathematics8- theorem-proving9- lean410- attention-mechanism11- nand-decomposition12pretty_name: SnapKitty Formal Papers13---14 15# papers16 17Formal mathematics papers from the SnapKitty / SNAPKITTYWEST research stack.18 19## Contents20 21- `formal-math/attention_nand_decomposition_full.pdf` — Full NAND decomposition of the attention mechanism22- `formal-math/gkn_boole_e7_quartic.pdf` — GKN Boole E7 quartic (PDF + LaTeX source)23- `formal-math/theorem_t1.pdf` through `theorem_t4.pdf` — Core theorem sequence24 25## Links26 27- [SNAPKITTYWEST GitHub](https://github.com/SNAPKITTYWEST)28- [sov-kernel-monster](https://huggingface.co/Snapkitty/sov-kernel-monster)29