research: plain-Rocq control for the MathComp spike (#367): KILL MathComp - #369

research: plain-Rocq control for the MathComp spike (#367): KILL MathComp#369

PhysShell wants to merge 2 commits into

claude/mathcomp-ownnet-spike-911fbtPhysShell/Own.NET:claude/mathcomp-ownnet-spike-911fbtfrom

research/plain-rocq-controlPhysShell/Own.NET:research/plain-rocq-controlCopy head branch name to clipboard