> >

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.

Keyword Results for
this URL
Total
searches