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.
FileZilla (ported from Windows) is a fast and reliable FTP client and server with lots of useful features and an intuitive interface.
Developed by Koingo Software, Inc.
We don't have a description for the AntiNetCut app yet.
We don't have a description for the Boonana Trojan Horse Removal app yet.
We don't have a description for the IPCameraViewer app yet.
App that stores/retrieves notes, providing a nonconformist solution to mental blockages & retrieval handicaps.
Comments