GitHub repository: thery/PolTac
Primary language: Coq
Created: 2017-03-15T08:55:56Z
Description: Tactic for polynomial manipulations