Language proof and logic software mac