Logic-Proof-Generator Automatically generate the logic proof for an argument. This programme is in progress and hasn't been finished yet. Example:
