Skip to content

ProofsCommonTactics: log failing inital goals #476

ProofsCommonTactics: log failing inital goals

ProofsCommonTactics: log failing inital goals #476