Add test cases for the use of `exact_no_check` - Githubissues

math-comp / algebra-tactics

Ring, field, lra, nra, and psatz tactics for Mathematical Components

33 stars 2 forks source link

Add test cases for the use of `exact_no_check` #58

Closed pi8027 closed 2 years ago