issues
search
math-comp
/
algebra-tactics
Ring, field, lra, nra, and psatz tactics for Mathematical Components
29
stars
1
forks
source link
Release 1.0
#52
Closed
pi8027
closed
2 years ago
pi8027
commented
2 years ago
TODOs:
[x] #51,
[x] #53: ~fix~ remove
mathcomp:1.14.0-coq-dev
CI job,
[x] #55: remove debug prints (related to #46),
[x] merge #35 as a demo file explaining the techniques behind Algebra Tactics,
[x] #58: test cases for the use of
exact_no_check
.
pi8027
commented
2 years ago
Done.
pi8027
commented
2 years ago pi8027
commented
2 years ago
TODOs:
mathcomp:1.14.0-coq-devCI job,exact_no_check.