Projects / logictree

logictree

logictree solves propositional formulas and tries to solve predicate formulas, using semantic tableaux.

Licenses
Implementation
Screenshot

Project Spotlight

Kigo Video Converter Ultimate for Mac

A tool for converting and editing videos.

Screenshot

Project Spotlight

octopress-api

A remote API for administering Octopress instances.