(Q4652336)

English

ALF

structure editor for monomorphic Martin-Löf type theory

In more languages

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"