TaxProper is a company that develops software designed to appeal for property taxes. Its platform is based on machine-learning techniques and generates valuations so that homeowners do not overpay on property taxes by entering data about their home and determine if they are overpaying.