michaelt / martin-lof
papers of Per Martin Löf
☆762Updated 11 months ago
Alternatives and similar repositories for martin-lof:
Users that are interested in martin-lof are comparing it to the libraries listed below
- An axiom-free formalization of category theory in Coq for personal study and practical work☆761Updated 2 weeks ago
- A Coq library for Homotopy Type Theory☆1,280Updated this week
- Experimental implementation of Cubical Type Theory☆572Updated last year
- A course on homotopy theory and type theory, taught jointly with Jaka Smrekar☆290Updated 11 months ago
- The collected works of F. W. Lawvere☆329Updated 4 months ago
- An introductory course to Homotopy Type Theory☆364Updated 4 years ago
- An introduction to programming language theory in Agda☆1,387Updated this week
- Software Foundations in Idris☆453Updated 5 years ago
- A demo implementation of a simple dependently-typed language☆581Updated last month
- A new Categories library for Agda☆374Updated last month
- Development of homotopy type theory in Agda☆422Updated 5 years ago
- This coq library aims to formalize a substantial body of mathematics using the univalent point of view.☆971Updated 3 weeks ago
- 15-819 (Homotopy Type Theory) Lecture Notes☆51Updated 4 years ago
- Algebraic graphs☆724Updated 7 months ago
- Minimal implementations for dependent type checking and elaboration☆625Updated 3 months ago
- An experimental library for Cubical Agda☆463Updated last week
- Demo for high-performance type theory elaboration☆532Updated last year
- This book will be an undergraduate textbook written in the univalent style, taking advantage of the presence of symmetry in the logic at …☆409Updated last week
- Mathematical Components☆595Updated this week
- The Agda standard library☆596Updated this week
- A collaborative bibliography of work related to the theory and practice of computational effects☆991Updated last month
- A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory☆353Updated this week
- Formal Reasoning About Programs☆678Updated 7 months ago
- Tricks you wish the Coq manual told you [maintainer=@tchajed]☆510Updated 5 months ago
- The Pie language, which accompanies The Little Typer by Friedman and Christiansen☆705Updated 3 years ago
- Spartan type theory☆261Updated 7 months ago
- Resources for type theory, functional programming, etc.☆313Updated 3 years ago
- Liquid Types For Haskell☆1,212Updated this week
- A List of Foundational Haskell Papers☆863Updated 2 months ago
- A statically-typed linear functional language with graded modal types for fine-grained program reasoning☆596Updated last month