Fix proof generation for Theorems
Add CRUD for Spaces and Properties
Add CanCan authorization
Bootstrap styling
Add CRUD for Traits
Add deduced? column to Traits
Add validations
Add Theorem update view
Separate display for direct and deduced Traits
Linkify Trait show view
Fix import script
Add select boxes to new Trait view
Add Trait uniqueness validation
Add unproven view
Add typeahead for new Trait view
Store Theorem <=> Property link
Import Theorem descriptions
Add Trait::Examiner
Style Trait index page
Pretty up search page