Showing 1–1 of 1 editor-approved links.
A successor to the proof editor Alf with a graphical user interface, being developed at the Programming Logic Group at Chalmers. Available for download.