nominal-hott

(★ 9)

Experiments with nominal types in HoTT Agda

nominal-hott 최신버젼 다운로드

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

오늘의 추천 프로젝트

uv ★ 88,790

Rust로 작성된 극도로 빠른 Python 패키지 및 프로젝트 관리자입니다.

Rust
OpenCut ★ 83,789

CapCut의 오픈 소스 대안

TypeScript
flask ★ 72,159

웹 applications를 구축하기 위한 Python 마이크로 framework입니다.

Python
json-server ★ 75,692

코딩 없이 30초 만에 (진짜로) 완벽한 가짜 REST API를 만들어보세요

JavaScript
whisper ★ 107,387

대규모 약지도 학습을 통한 견고한 음성 인식

Python
go ★ 135,806

Go 프로그래밍 언어

Go
// repository documentation