LogicEverything
Start with logic, solve anything.