Discuss Requirments of the Project
Create Website for the Project
Populate Website for the Project and start programing in Html
Read and Discuss about Hypergraph
Read and discuss Materials of aartifact project
Talk with TF Andrei Lapets about the Project
Hypergraph Data Structure: Done!
Transitive Closure Operation: Done!
Propositional Logic: Done!
Talk with TF Andrei Lapets about the different cases of how "imply" deduction rule should be used
Input Parser: Done!
Integrate parser with closure program
Test the whole project
Post Program on this website and Test