1. Home
  2. Science
  3. Mathematics
  4. Alfa

Science · Mathematics

Alfa

Listed in the directory · updated 23 Jul 2022

Visit website

Find them on

Share

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.

Tags

Books and Worksheets

Where it sits

Science Mathematics

More in Mathematics

See all →