Curlie
My Account
About
Forum
Donate
Help us reach our monthly donation goal to run and improve the site!
$124
$350
Become an Editor
Create an Account
Login
Science
Math
Logic and Foundations
Software
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.
All submissions are welcome.
Related categories
Science
Math
Software