Skip to content

feat(wave35-lane-v): LUT-NPU Coq — 10 lemmas, OP_LUT_NPU=0xE3 - #654

Merged
gHashTag merged 2 commits into
masterfrom
feat/wave35-lane-v-lut-npu-coq
May 15, 2026
Merged

feat(wave35-lane-v): LUT-NPU Coq — 10 lemmas, OP_LUT_NPU=0xE3#654
gHashTag merged 2 commits into
masterfrom
feat/wave35-lane-v-lut-npu-coq

docs(now): update Wave-35 Lane V Kernel/LutNpu.v details — 41 Z₃ clas…

83da3ac
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar