mltt

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

forked-from-1kasper / hurricane

Star

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

saki-lang / mltt-type-checker

Star

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."

Learn more

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

mltt

Here are 9 public repositories matching this topic...

martinescardo / HoTT-UF-Agda-Lecture-Notes

groupoid / groupoid.space

groupoid / anders

forked-from-1kasper / anders

forked-from-1kasper / bravo

esmolanka / simple-pi

kotoromo / IntroAgda

forked-from-1kasper / hurricane

saki-lang / mltt-type-checker

Improve this page

Add this topic to your repo