Lists of Coq tactics

This page contains a list of Coq tactics you may use during the course. This list will be updated weekly.

Many of these tactics accept the modifier in H to operate on a hypothesis rather than the goal.

Lists of Coq tacticals

Lists of Coq command