#

mltt

Here are 9 public repositories matching this topic...

martinescardo / HoTT-UF-Agda-Lecture-Notes

Lecture notes on univalent foundations of mathematics with Agda

dependent-types type-theory agda lecture-notes mltt homotopy-type-theory univalent-foundations univalent-mathematics hott-uf martin-lof-type-theory univalence-axiom function-extensionality propositional-truncation univalent-type-theory

Updated Apr 16, 2024
Agda

groupoid / groupoid.space

🧊 Інститут формальної математики

path pi hit induction sigma mltt

Updated Mar 31, 2024
TeX

groupoid / anders

🧊 Модальний гомотопічний верифікатор математики

dependent-types proof-assistant cubical-type-theory type-system theorem-prover type-checker mltt

Updated Aug 5, 2024
OCaml

forked-from-1kasper / anders

Anders: Cubical Type Checker

dependent-types proof-assistant cubical-type-theory type-system hott theorem-prover type-checker mltt ctt homotopy-type-theory dependent-type-theory

Updated Oct 23, 2023
OCaml

forked-from-1kasper / bravo

Castle Bravo: Experimental HoTT Implementation

dependent-types proof-assistant hott theorem-prover type-checker mltt homotopy-type-theory univalent-foundations hott-uf

Updated Jun 16, 2023
OCaml

esmolanka / simple-pi

Simplistic implementation of dependently typed lambda calculus

dependent-types lambda-calculus mltt

Updated Dec 28, 2016
Haskell

forked-from-1kasper / hurricane

Hurricane: HoTT-I Type System

dependent-types proof-assistant hott theorem-prover type-checker mltt homotopy-type-theory hott-uf dependent-type-theory

Updated Mar 21, 2022
OCaml

kotoromo / IntroAgda

Material para una exposición dada el Miércoles 2 de Marzo del 2023 sobre una introducción a Agda como asistente de pruebas y a la Teoría Homotópica de Tipos.

mathematics agda hott mltt hott-uf introduction-to-agda

Updated May 26, 2023
HTML

saki-lang / mltt-type-checker

An MLTT type checker implemented using Saki-Lang

programming-language type-theory calculus-of-constructions plt mltt martin-lof-type-theory mygo saki-lang

Updated Oct 24, 2024

Improve this page

Add a description, image, and links to the mltt topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the mltt topic, visit your repo's landing page and select "manage topics."