DICoq

(★ 8)

Dependent Interoperability for Coq

DICoq 최신버젼 다운로드

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

오늘의 추천 프로젝트

fzf ★ 82,545

:cherry_blossom: A command-line fuzzy finder

Go
browser-use ★ 109,428

🌐 웹사이트를 AI 에이전트가 접근할 수 있도록 만드세요. 온라인 작업을 손쉽게 자동화하세요.

Python
javascript-algorithms ★ 196,492

📝 JavaScript로 구현한 알고리즘과 자료 구조 모음으로, 상세한 설명과 추가 읽기 자료 링크를 제공합니다.

JavaScript
spec-kit ★ 129,504

💫 Spec-Driven Development을 쉽게 시작할 수 있도록 도와주는 툴킷

Python
paperclip ★ 78,484

The open-source app everyone uses to manage agents at work

TypeScript
skills ★ 169,727

Agent Skills을 위한 공개 저장소

Python
// repository documentation