I am working on a Python program with a graphical user interface for the Metamath system. It works on current Macintosh computers. You can see some screenshots by going to the bottom of my web page.
My web page is at: http://www.geocities.com/billh04/
You can download the current version of the Python mmide program at the url http://www.geocities.com/billh04/logic/Download_mmide.html
That looks great! If I can provide any information of use to you in your endeavour feel free to ask. Metamath is a very interesting project… --ocat
Buy DCUO Gold | Buy DC Universe Online Gold | DC Universe Online Gold | DCUO Gold | DCUO Gold | Cheap DC Universe Online Gold | DCUO Gold | Cheap DCUO Gold | DCUO Gold | cheap dc universe online gold | DCUO Gold | DC Universe Online Gold | DCUO Gold