Skip to content

refactor(coq): rename inv6_hybrid_qk_gain → inv6_hybrid_qk_gain_from_…

b352e95
Select commit
Loading
Failed to load commit list.
Merged

feat(coq): INV6_HybridQkGain.v — formal proof skeleton, closes #441 #490

refactor(coq): rename inv6_hybrid_qk_gain → inv6_hybrid_qk_gain_from_…
b352e95
Select commit
Loading
Failed to load commit list.