coq-wigderson

(★ 9)

Formalization of Wigderson's graph coloring algorithm in Coq

coq-wigderson 최신버젼 다운로드

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

오늘의 추천 프로젝트

TypeScript ★ 110,183

TypeScript는 깔끔한 JavaScript 출력 코드로 컴파일되는 JavaScript의 상위 집합입니다.

TypeScript
Python-100-Days ★ 185,241

Python - 100天从新手到大师

Jupyter Notebook
ohmyzsh ★ 189,228

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

Shell
vue ★ 210,224

이 저장소는 Vue 2를 위한 것입니다. Vue 3는 https://github.com/vuejs/core 를 방문하세요.

TypeScript
worldmonitor ★ 82,375

실시간 글로벌 인텔리전스 대시보드. AI 기반 뉴스 수집, 지정학적 모니터링, 인프라 추적을 통합된 상황 인식 인터페이스로 제공합니다.

TypeScript
project-based-learning ★ 279,456

프로젝트 기반 프로그래밍 튜토리얼 모음입니다.

Python
// repository documentation