{"version":"1.0","type":"link","title":"Lean - Newikis","description":"Lean은 증명 보조기이자 함수형 프로그래밍 언어이다. 귀납적 형식론을 포함하는 구성의 계산에 기반을 두고 있다. 깃허브에서 호스팅되는 오픈 소스 프로젝트이다. 개발은 현재 비영리 단체인 Lean Focused Research Organization (FRO)의 지원을 받고 있다.","provider_name":"Newikis","provider_url":"https://newikis.com","cache_age":86400}