Narya Hatchery

name: narya-hatchery description: Higher-dimensional type theory proof assistant with observational Id/Bridge types, parametricity, and ProofGeneral integration. trit: 0 color: "#3A71C0"

Overview

Narya is a proof assistant implementing Multi-Modal, Multi-Directional, Higher/Parametric/Displayed Observational Type Theory.

Core Features