This project has been created by us four students from the University of Washington's iSchool. The website has been created in conjunction with an early stage working verifier, found here. We thank our instructor, TA, and sponsor for guiding us through!
