PL
proof assistant
- 증명도우미
- 증명보조기
- 증명검사기
댓글 5개
HL
Heewon Lee·18일 전
"Proof assistant"를 쓰다보면, 프로그램이 제 증명을 돕는 것보다 제가 프로그램의 타입 검사기를 통과시키기 위해 열심히 짧은 증명을 단계별로 쪼개고 재구성하는 경험이 아직은 강한 것 같습니다. 따라서 사용자가 프로그램을 돕는 듯한 "증명도움받이"를 제안합니다.
이
이광근/YiKwangkeun·17일 전
재미있는 시각이네요. 뭐든 도구를 사용하려면 사용자 노력이 어느정도 들지요. 그렇지만 도구를 주인공으로 용어를 만들어야지않아요? 자동차를 운전받이로, 컴퓨터를 일거리받이로, 냉장고를 오래둘음식받이로? 재미있는데 오버라고 느낌이...
이
이광근/YiKwangkeun·증명도우미·5달 전
증명도우미를 제안해요.
김
김태은·증명검사기·10달 전
증명검사기를 제안합니다.
BJ
Bongjun Jang·증명보조기·10달 전
증명보조기를 제안합니다.