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.
2019
2019
The Bronchoscopy Role for Malignant Central Airway Obstruction
Citation: León-Román F, López-Jurado ALF, Pintado-Cort B, Asensio-Sánchez J, Mercedes-Noboa E, et al. (2019) The Bronchoscopy… 
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… 
2013
2013
Aplicación de un protocolo de uso racional de hemoderivados en pacientes ancianos intervenidos de fractura de cadera
Estudio prospectivo sobre 446 pacientes ancianos intervenidos de fractura de cadera, sometidos a un protocolo de uso racional de… 
2004
2004
Control loops: performance and diagnostics
Summary The paper aims at presenting an innovative solution for control loop performance assessment and optimization. The… 
2004
2004
Tuning loop : control performance and diagnostics
This article intends presenting an innovative solution for controlling the performance of tuning loops. The software product has… 
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… 
1990
1990
Mulgrave ALF trial: progress report 2: construction of ALF test pavements
1978
1978
"The third tribe" of the Rus / Alf Thulin.