PL

proof assistant

증명도우미
증명보조기
증명검사기

댓글 3개

이

이광근/YiKwangkeun·증명도우미·7일 전

증명도우미를 제안해요.

김

김태은·증명검사기·5달 전

증명검사기를 제안합니다.

BJ

Bongjun Jang·증명보조기·5달 전

증명보조기를 제안합니다.