DHBW Stuttgart student project on theorem proving - View it on GitHub