constructive-sheaf-semantics

(★ 18)

I'm putting Palmgren's Constructive Sheaf Semantics into Agda. Defines sheaves via Grothendieck pretopologies.

constructive-sheaf-semantics 최신버젼 다운로드

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

오늘의 추천 프로젝트

flutter ★ 178,564

Flutter는 모바일 및 그 이상의 플랫폼을 위한 아름다운 앱을 쉽고 빠르게 구축할 수 있게 해줍니다.

Dart
taste-skill ★ 78,877

Taste-Skill - gives your AI good taste. stops the AI from generating boring, generic slop

JavaScript
Web-Dev-For-Beginners ★ 96,420

24개의 레슨, 12주의 커리큘럼으로 웹 개발을 시작해 보세요.

JavaScript
vue ★ 210,354

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

TypeScript
browser-use ★ 109,987

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

Python
vllm ★ 89,633

LLM을 위한 처리량이 높고 메모리 효율적인 추론 및 서빙 엔진

Python
// repository documentation