abstract:ALF ("Another logical framework") is a structure editor for monomorphic Martin-Löf type theory developed at Chalmers University. It is a predecessor of the Alfa, Agda, Cayenne and Coq proof assistants and dependently typed programming languages.
Further developing a design form initiated on the LF-LC concept and the high-performance LFA, the sharply sculpted form of an airflow regulating fin flows from underneath the side of the car and upwards through the rear wheel arch.
The LF-CC is finished in a new, 'Fluid Titanium' exterior colour, a metallic finish with exceptionally high brilliance which combines sharp, bright highlighting with dark shaded surfaces to reinforce the powerful forms of the bodywork's sculpted surfaces.