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