slate

(★ 23)

The Slate Interactive Theorem Prover

slate 최신버젼 다운로드

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

오늘의 추천 프로젝트

awesome-design-md ★ 108,753

인기 브랜드 디자인 시스템을 분석한 DESIGN.md 파일 모음입니다. 프로젝트에 파일을 추가하면 코딩 에이전트가 그에 맞는 UI를 생성해 줍니다.
gpt4all ★ 77,414

GPT4All: 모든 기기에서 로컬 LLM을 실행하세요. 오픈 소스이며 상업적 이용이 가능합니다.

C++
Microsoft-Activation-Scripts ★ 187,210

HWID, Ohook, TSforge, Online KMS 정품 인증 방식과 고급 문제 해결 기능을 갖춘 오픈소스 Windows 및 Office 정품 인증 프로그

Batchfile
fucking-algorithm ★ 135,358

LeetCode를 격파하세요. 어떻게 해야 하는지뿐만 아니라, 왜 그런지까지 이해하면서요.

Markdown
open-design ★ 87,459

🎨 오픈소스 Claude Design 대안. 🖥️ 로컬 우선 데스크톱 앱. 🖼️ 코딩 에이전트가 디자인 엔진이 됩니다: 프로토타입, 랜딩 페이지, 대시보드, 슬라

TypeScript
HowToCook ★ 101,850

프로그래머를 위한 집밥 요리 가이드
// repository documentation