Remove redundant .keep file
Light refactor
Serialize Formulae
Store proof object on automatically added traits
Add links when showing a proof
Remove a premature optimization
Organize code
Hack and slash
Add Proof model
Fix some show views