이 분류에 대한 설명은 증명보조기 문서#!if n2 != null 나 [[]] [[]] 문서를 참고하십시오. "증명보조기" 분류에 속하는 문서 A Agda C Coq L Lean ㅈ 증명보조기 분류 수리논리학 프로그래밍 언어