Skip to content

Add Data.Rational.Tactic.RingSolver #1879

New issue
New issue
Open
#2215
Open
Add Data.Rational.Tactic.RingSolver#1879
#2215
Labels
additionlow-hanging-fruit
@Taneb

Description

@Taneb
Taneb
opened on Nov 11, 2022

By analogy to Data.Nat.Tactic.RingSolver and Data.Integer.Tactic.RingSolver

Metadata

Metadata

Assignees

No one assigned

    Labels

    additionlow-hanging-fruit

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions