Logger support for Ltac2 To use the library, import it with the following command. Require Import bedrock.ltac2.logger.logger.