Logic and Foundations
All submissions are welcome.
Logic-related software: Software implement "logic(s)" explicitly. This category includes e.g. automated reasoning systems, theorem provers, self-study software, and their "add-in"s. Both non-commercial and commercial software will be listed.
Science: Math: Software
Copyright © 1998-2015 AOL Inc.
Last update: Friday, November 15, 2013 10:30:55 PM EST -