GitHub repository: DmxLarchey/Hilbert-Basis-Theorem
Primary language: Rocq Prover
Created: 2025-06-18T09:12:33Z
Description: Hilbert Basis Theorem in Coq/Rocq