pca-realizability

(★ 13)

Partial combinatory algebras and realizability interpretations of arithmetic, in Coq.

pca-realizability Latest Version Download

Download Latest Version (.zip)

Today's picks

three.js ★ 114,653

JavaScript 3D Library.

JavaScript
JavaGuide ★ 157,804

Java 面试 & 后端通用面试指南，覆盖计算机基础、数据库、分布式、高并发、系统设计与 AI 应用开发

JavaScript
skills ★ 170,812

Public repository for Agent Skills

Python
cs-video-courses ★ 83,137

List of Computer Science courses with video lectures.
vllm ★ 89,633

A high-throughput and memory-efficient inference and serving engine for LLMs

Python
ant-design ★ 99,135

An enterprise-class UI design language and React UI library

TypeScript
// repository documentation