must have 1,n standard<->proof, user_id param
showing user proofs only
fixing specs
move out logic from view
Merge pull request #14 from adamico/user_proofs

User <-> proof <-> requirement modeling