Re:L
증명 검색을 모방 학습으로 대체한 연결-테이블 증명기 | Re:L