Deductum: Deductum demo available

There's now a free demo of Deductum! It covers the introductory conjunction and implication levels.