feat(Foundations): Lean certificate for exact Vandermonde smoothness of the Z_2^3 K3#161

gift-framework merged 1 commit into

maingift-framework/core:mainfrom

feat/k3-vandermonde-smoothness-leangift-framework/core:feat/k3-vandermonde-smoothness-leanCopy head branch name to clipboard