The Open Directory Project.

Directory of Software Resources

Home > 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.

Resources in This Category

Related Categories

 

Home > Science > Math > Logic and Foundations > Software

 


 

Thanks to DMOZ, which built a great web directory for nearly two decades and freely shared it with the web. About us