| .codeclimate.yml | |
|
|
| .gitignore | |
|
|
| .hound.yml | |
|
|
| .rspec | |
|
|
| .rubocop.yml | |
|
|
| .ruby-version | |
|
|
| .travis.yml | |
|
|
| Gemfile | |
|
|
| Gemfile.lock | |
|
|
| LICENSE | |
|
|
| README.md | |
|
|
| Rakefile | |
|
|
| app/models/action.rb | 9 | A 0 mins |
|
| app/models/api_key.rb | 37 | A 0 mins |
|
| app/models/axiom.rb | 2 | A 0 mins |
|
| app/models/concerns/slug.rb | 86 | A 0 mins |
|
| app/models/conjecture.rb | 11 | A 0 mins |
|
| app/models/conservativity_status.rb | 2 | A 0 mins |
|
| app/models/consistency_check_attempt.rb | 20 | A 1 hr |
|
| app/models/consistency_checker.rb | 2 | A 0 mins |
|
| app/models/counter_theorem.rb | 2 | A 0 mins |
|
| app/models/debug.rb | 2 | A 0 mins |
|
| app/models/diagnosis.rb | 5 | A 0 mins |
|
| app/models/document.rb | 25 | A 20 mins |
|
| app/models/document_link.rb | 4 | A 0 mins |
|
| app/models/error.rb | 2 | A 0 mins |
|
| app/models/file_range.rb | 2 | A 0 mins |
|
| app/models/file_version.rb | 14 | A 0 mins |
|
| app/models/file_version_parent.rb | 4 | A 0 mins |
|
| app/models/generated_axiom.rb | 4 | A 0 mins |
|
| app/models/git_shell_api_key.rb | 3 | A 0 mins |
|
| app/models/hets_api_key.rb | 3 | A 0 mins |
|
| app/models/hint.rb | 2 | A 0 mins |
|
| app/models/language.rb | 20 | A 20 mins |
|
| app/models/language_mapping.rb | 4 | A 0 mins |
|
| app/models/library.rb | 3 | A 0 mins |
|
| app/models/loc_id_base.rb | 56 | A 0 mins |
|
| app/models/logic.rb | 20 | A 20 mins |
|
| app/models/logic_inclusion.rb | 8 | A 0 mins |
|
| app/models/logic_mapping.rb | 8 | A 0 mins |
|
| app/models/logic_translation.rb | 6 | A 0 mins |
|
| app/models/logic_translation_step.rb | 5 | A 0 mins |
|
| app/models/manual_premise_selection.rb | 2 | A 0 mins |
|
| app/models/mapping.rb | 27 | A 0 mins |
|
| app/models/native_document.rb | 3 | A 0 mins |
|
| app/models/oms.rb | 61 | A 0 mins |
|
| app/models/oms_symbol.rb | 6 | A 0 mins |
|
| app/models/open_conjecture.rb | 2 | A 0 mins |
|
| app/models/organization.rb | 19 | A 0 mins |
|
| app/models/organization_membership.rb | 9 | A 0 mins |
|