rocq-community/buchberger

Verified implementation in Coq of Buchberger's algorithm for computing Gröbner bases [maintainer=@palmskog]

Language: Coq - Size: 272 KB - Last synced at: 4 months ago - Pushed at: almost 2 years ago - Stars: 10 - Forks: 1