This version of ALF has been implemented by Lena Magnusson and Johan Nordlander. Lena has implemented the proof engine and Johan the user interface.
The basic ideas in this system comes from the first version of ALF which was designed by Thierry Coquand and Bengt Nordström in 1991, Thierry implemented the first proof engine and Lennart Augustsson implemented the user interface.