린이란?
린은 수학 증명이 맞는지 컴퓨터가 한 단계씩 확인해 주는 프로그래밍 언어다.
함께 나온 용어
매일 아침 이메일로 받아보기
매일 헤드라인과 한 줄 요약, 매주 일요일 주간 회고, 매달 초 월간 리포트를 보내드려요.
무료 · 광고 없음 · 한 번에 해지
린은 수학 증명이 맞는지 컴퓨터가 한 단계씩 확인해 주는 프로그래밍 언어다.
매일 아침 이메일로 받아보기
매일 헤드라인과 한 줄 요약, 매주 일요일 주간 회고, 매달 초 월간 리포트를 보내드려요.
무료 · 광고 없음 · 한 번에 해지