Project Trackr Development Log Building a better web based project management solution

Attatched my 3 initial coursework assignments, the first 2 are on Automated Theorem Proving (subject was set) and the last one is a project plan related to my project

Any feedback on the project plan would be appreciated, as thats actually relevant

Poster on automated theorem proving

Seminar slides on automated theorem proving

2 page project pland and Gantt chart