ALF (Q4652336)

From Wikidata

Jump to navigation Jump to search

structure editor for monomorphic Martin-Löf type theory

Language	Label	Description	Also known as
English	ALF	structure editor for monomorphic Martin-Löf type theory

Statements

Sitelinks

Wikipedia(1 entry)

enwiki ALF (proof assistant)

Wikibooks(0 entries)

Wikinews(0 entries)

Wikiquote(0 entries)

Wikisource(0 entries)

Wikiversity(0 entries)

Wikivoyage(0 entries)

Wiktionary(0 entries)

Multilingual sites(0 entries)

Retrieved from "https://www.wikidata.org/w/index.php?title=Q4652336&oldid=67900840"