next up previous contents
Next: Acknowledgements Up: A user's guide to Previous: The Contributions Library

History of the system

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.

Bj|rn von Sydow
Wed Mar 20 13:05:14 MET 1996