| .gitignore | |
|
|
| .rspec | |
|
|
| .ruby-version | |
|
|
| .travis.yml | |
|
|
| Gemfile | |
|
|
| Gemfile.lock | |
|
|
| LICENSE.md | |
|
|
| Procfile | |
|
|
| README.md | |
|
|
| Rakefile | |
|
|
| app/assets/images/rails.png | |
|
|
| app/assets/javascripts/application.js | 12 | A 0 mins |
|
| app/assets/javascripts/formula_typeahead.js.coffee | |
|
|
| app/assets/javascripts/pi_base.js.coffee | |
|
|
| app/assets/javascripts/proof_explorer.js.coffee | |
|
|
| app/assets/javascripts/related_traits.js.coffee | |
|
|
| app/assets/javascripts/templates/info_pane.hamlc | |
|
|
| app/assets/javascripts/templates/related_traits.hamlc | |
|
|
| app/assets/javascripts/trait_table.js.coffee | |
|
|
| app/assets/stylesheets/application.css | |
|
|
| app/controllers/application_controller.rb | 18 | A 0 mins |
|
| app/controllers/formulae_controller.rb | 15 | A 0 mins |
|
| app/controllers/objects_controller.rb | 66 | A 0 mins |
|
| app/controllers/properties_controller.rb | 25 | A 0 mins |
|
| app/controllers/spaces_controller.rb | 25 | A 0 mins |
|
| app/controllers/theorems_controller.rb | 23 | A 0 mins |
|
| app/controllers/traits_controller.rb | 37 | A 0 mins |
|
| app/controllers/users_controller.rb | 6 | A 0 mins |
|
| app/decorators/atom_decorator.rb | 14 | A 0 mins |
|
| app/decorators/theorem_decorator.rb | 8 | A 0 mins |
|
| app/helpers/application_helper.rb | 41 | A 0 mins |
|
| app/jobs/index_job.rb | 15 | A 0 mins |
|
| app/jobs/theorem_explore_job.rb | 9 | A 0 mins |
|
| app/jobs/trait_explore_job.rb | 11 | A 0 mins |
|
| app/mailers/check_mailer.rb | 10 | A 0 mins |
|
| app/models/ability.rb | 13 | A 25 mins |
|
| app/models/assumption.rb | 4 | A 0 mins |
|
| app/models/formula.rb | 74 | A 0 mins |
|
| app/models/formula/atom.rb | 79 | A 1 hr |
|
| app/models/formula/conjunction.rb | 24 | A 0 mins |
|
| app/models/formula/disjunction.rb | 40 | A 0 mins |
|
| app/models/formula/parser.rb | 57 | A 1 hr |
|
| app/models/proof.rb | 10 | A 0 mins |
|
| app/models/proof/tree.rb | 48 | A 0 mins |
|
| app/models/property.rb | 28 | A 0 mins |
|
| app/models/search.rb | 66 | A 0 mins |
|
| app/models/space.rb | 21 | A 0 mins |
|
| app/models/supporter.rb | 4 | A 0 mins |
|
| app/models/theorem.rb | 72 | A 0 mins |
|
| app/models/theorem_property.rb | 4 | A 0 mins |
|
