Logic software that accelerates learning by giving immediate feedback, providing interactive help, and making natural deduction easy.
See Errors Immediately
Errors are flagged as soon as they are made.
Help at Your Fingertips
Video tutorials and hints are one click away.
Promote Good Habits
Assumptions must have explicit exit strategies.
Quick and Easy
Automatically renumbers lines and justifications.
Use with Your Textbook
Many texts, symbols and rulesets supported.
Fits Any Budget
Elegant software for the c
FreeOrion is a turn-based space empire and galactic conquest (4X) computer game.
Battle Fleet combines tactical fleet strategy with an artillery style gameplay.
A strategy game set during World War II.
In a time long past, the armies of the dark came again into the lands of men.
Punch Club is a boxing tycoon management game for Mac OS.
App that lets you post folders of files to newsgroups using Thoth or MT-Newswatcher.
Comments