Skip to search formSkip to main contentSkip to account menu

ALF (proof assistant)

Known as: ALF, ALF (theorem prover) 
ALF ("Another logical framework") is a structure editor for monomorphic Martin-Löf type theory developed at Chalmers University. It is a predecessor… 
Wikipedia (opens in a new tab)

Related topics

Related topics

6 relations
AgdaCayenne (programming language)Coq (software)Epigram

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2017
Review
2017
Review: Laurence Cox and Alf Gunvald Nilsen (2014) We Make Our Own History: Marxism and Social Movements in the Twilight of Neoliberalism
This is a book about social movements. Unlike most such books, it seeks to understand the phenomenon of social movements with a… 
2016
2016
Rev. Alf Dickie at the World Peace Council reception.
Rev. Alf Dickie at the reception , where a delegation of six World Peace Council Councillors visited Australia in October 1974… 
Review
2016
Review
2016
Mughal-Sikh Relations : Revisited
Mughal Empire, attributed to be a Muslim rule, and Sikhism grew side by side in the South Asia; while Zahir-ud-Din Muhammad Babar… 
2011
2011
Modeling of multi-level capacitated lot-size scheduling problem
Problem statement: Lot-size is the clustering of items for transportation or manufacturing processes occurring at the same time… 
2004
2004
Control loops: performance and diagnostics
Summary The paper aims at presenting an innovative solution for control loop performance assessment and optimization. The… 
1999
1999
Grannes Alf, Избранные труды по русскому и славянскому языкознанию
Breuillard Jean. Grannes Alf, Избранные труды по русскому и славянскому языкознанию. In: Revue des etudes slaves, tome 71… 
1996
1996
A Machine Verified Distributed Sorting Algorithm
We present a verification of a distributed sorting algorithm in ALF, an implementation of Martin L¨of's type theory. The… 
1993
1993
Literature, Language and Learning: Turing’s Paradox and the Metaphor of Caliban
The director, Alf Sjoberg, attempted to interpret the epistemological effects of the picture of the world proposed by the modern… 
1990
1990
Mulgrave ALF trial: progress report 2: construction of ALF test pavements
1978
1978
"The third tribe" of the Rus / Alf Thulin.
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)