Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Homotopy Type Theory in Isabelle - MaRDI portal

Homotopy Type Theory in Isabelle

From MaRDI portal

Publication:6157254

Jump to:navigation, search

DOI10.4230/LIPICS.ITP.2021.12arXiv2002.09282OpenAlexW3176406994MaRDI QIDQ6157254

Joshua Chen

Publication date: 20 June 2023

Full work available at URL: https://arxiv.org/abs/2002.09282

zbMATH Keywords

homotopy type theory proof assistants logical frameworks dependent type theory

Mathematics Subject Classification ID

Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

This page was built for publication: Homotopy Type Theory in Isabelle

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:6157254&oldid=35635078"