증명: 증명이 미리보기 환경에서 느리게 생성됨

사용자가 미리보기 환경에서 증명을 만들면 증명이 매우 느리게 생성됩니다.

2023년 4월 26일에 처음 보고되었습니다.