GitHub repository: mmasdeu/ruleofsigns
Primary language: Lean
Created: 2022-03-30T12:44:25Z
Description: Formalization of Descartes' rule of signs in Lean