MacLogic is, to my mind, the best computer program in existence for teaching and learning how to do natural deduction proofs (in a variety of logics). The program was originally written in MacProlog for Classic Macintosh operating systems by Roy Dyckhoff et al. at St Andrews.
This application enables students to learn through English.
Math6 - The program has a total of 116 lessons and 19 quizzes.
Control a Celestron, Gemini, iOptron, Meade Autostar or LX200 astronomical telescope with your Mac.
Symphony Math is a simple solution to a difficult problem.
Infinite Algebra 1 covers all typical algebra material, over 90 topics in all.
I created this basic flashcard app for my daughter.
Comments