About: ALF (proof assistant)

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia-live.demo.openlinksw.com

Structure editor for monomorphic Martin-Löf type theory

Property	Value
dbo:description	structure editor for monomorphic Martin-Löf type theory (en)
dbo:wikiPageExternalLink	http://www.cs.chalmers.se/~bengt/papers/usersguidetoalf.pdf http://www.cse.chalmers.se/~hallgren/Alfa/ http://www.cs.chalmers.se/~bengt/papers/alfengine.pdf
dbo:wikiPageWikiLink	dbr:Proof_assistant dbr:Coq dbr:Agda_(programming_language) dbc:Academic_programming_languages dbc:Dependently_typed_languages dbc:Proof_assistants dbr:Thorsten_Altenkirch dbr:Chalmers_University dbr:Cayenne_(programming_language) dbr:Martin-Löf_type_theory dbr:Alfa_(proof_assistant) dbr:Bengt_Nordström dbr:Dependent_pattern_matching dbr:Dependently_typed_programming_language dbr:Inductive_family
dbp:wikiPageUsesTemplate	dbt:Reflist dbt:For dbt:Comp-sci-stub dbt:Short_description
dct:subject	dbc:Academic_programming_languages dbc:Dependently_typed_languages dbc:Proof_assistants
gold:hypernym	dbr:Editor
rdfs:label	ALF (proof assistant) (en)
owl:sameAs	freebase:ALF (proof assistant) yago-res:ALF (proof assistant) wikidata:ALF (proof assistant) dbpedia-global:ALF (proof assistant) dbr:ALF (proof assistant)
prov:wasDerivedFrom	wikipedia-en:ALF_(proof_assistant)?oldid=1218518877&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:ALF_(proof_assistant)
is dbo:influencedBy of	dbr:Epigram_(programming_language)
is dbo:wikiPageDisambiguates of	dbr:ALF
is dbo:wikiPageRedirects of	dbr:ALF_(theorem_prover)
is dbo:wikiPageWikiLink of	dbr:Induction-recursion dbr:ALF dbr:Epigram_(programming_language) dbr:ALF_(theorem_prover)
is dbp:influencedBy of	dbr:Epigram_(programming_language)
is foaf:primaryTopic of	wikipedia-en:ALF_(proof_assistant)

This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 4.0 International