We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Release 2024.01
Release 2023.09
Release 2022.04
Ellora/POPL16
Ring axioms of the `ring`/`field` tactics agree with the ones of `Rin… …g.ec` [fix #17249]
NewList: last_ -> last.
Fix bug w.r.t. _tools presence detection.