←BackMmichaelt/martin-lof0Copy as MarkdownView on GitHub↗0 stars·0 forks·0 viewsMartin LofFeaturesType Theory Foundations - Collection of foundational papers and notes on intuitionistic type theory.