Alfa

All Links

Website

Details of Alfa

About Alfa

Alfa- A successor to the proof editor Alf with a graphical user interface, being developed at the Programming Logic Group at Chalmers. Available for download.

Books and Worksheets