Saturday, October 4, 2014

Today we had a Peirce meeting with all of our members
Viktor, David, and I.

Viktor started to tackle the collision issues.
David is working on automated proof checking correctness ( currently it does not work as expected )
I fixed some gui ambiguity for logging in, and added the ability to overwrite proofs

No comments:

Post a Comment