When someone asks me to work with a good team, I often say yes even if I am not 100% qualified. That was the case with this formal methods editor. A friend asked me to help with the front end development for this project which was to create an application that allowed students to input complex formal methods equations digitally so that graders didn't need to decipher the handwriting. I had done a bit of HTML and CSS (as you can see from this portfolio site), but wasn't sure if I was really capable of completing it. Below you will see what we created.

Logo

Logo was based off of the predicate symbol in formal methods.

Logotype

The logotype used other symbols found in the editor as well as my own creative system to make other symbols

Wireframes

Finshed Design