Machine-Checkable Certificate

어떤 명제가 성립한다는 근거를 컴퓨터가 다시 확인할 수 있는 형식화된 증명 결과입니다. FLARE가 승인한 재정식화마다 생성되어 검증 과정을 수치 비교만으로 끝내지 않도록 합니다.