cic-model

(★ 9)

Set-theoretical models of various type theories (up to an extensional version of the Calculus of Inductive Constructions), aiming at proving logical consistency and strong normalization

cic-model 최신버젼 다운로드

최종 버전 다운로드 (.zip)

오늘의 추천 프로젝트

yt-dlp ★ 186,032

다기능 명령줄 오디오/비디오 다운로더

Python
HowToCook ★ 101,850

프로그래머를 위한 집밥 요리 가이드
scrcpy ★ 148,030

Android 기기를 화면에 표시하고 제어하세요

C
flask ★ 72,137

웹 applications를 구축하기 위한 Python 마이크로 framework입니다.

Python
ohmyzsh ★ 189,291

🙃 zsh 구성을 관리하기 위한, 활기찬 커뮤니티 기반(2,500명 이상의 기여자 참여)의 멋진 프레임워크입니다. 300개 이상의 선택형 플러그인(rails, g

Shell
puppeteer ★ 95,481

Chrome 및 Firefox를 위한 JavaScript API

TypeScript
// repository documentation