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: 21 days ago - Pushed at: over 1 year ago - Stars: 10 - Forks: 1