quip

(★ 12)

[wip] Proof format and checker for first-order and higher-order theorem provers

quip 최신버젼 다운로드

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

오늘의 추천 프로젝트

NextChat ★ 88,639

✨ Light and Fast AI Assistant. Support: Web | iOS | MacOS | Android | Linux | Windows

TypeScript
opencode ★ 199,829

오픈 소스 코딩 에이전트입니다.

TypeScript
skills ★ 228,572

진짜 엔지니어들을 위한 스킬. 제 `.agents` 디렉토리에서 바로 가져왔습니다.

Shell
andrej-karpathy-skills ★ 204,772

Andrej Karpathy의 LLM 코딩 함정에 대한 관찰을 바탕으로 Claude Code 동작을 개선하는 단일 CLAUDE.md 파일입니다.
codex ★ 110,839

터미널에서 실행되는 경량 코딩 에이전트

Rust
openai-cookbook ★ 75,446

OpenAI API 사용을 위한 예제 및 가이드

Jupyter Notebook
// repository documentation