We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
b847abe
switched from simpl to cbn, which results in more predictable behaviour. This breaks compatibility with Coq 8.4!
Also, asimpl does now first do autorewrite with autosubst before simplifying the goal.
