GitHub repository: uds-psl/smpl
Primary language: Coq
Description: A Coq plugin providing an extensible tactic similar to first.