Project archive: CLI application for checking that given logical expression is tautology