| app/models/trait.rb | 56 | A 0 mins |
|
| app/models/trait/table.rb | 82 | A 1 hr |
|
| app/models/user.rb | 4 | A 0 mins |
|
| app/models/value.rb | 24 | A 0 mins |
|
| app/models/value_set.rb | 7 | A 0 mins |
|
| app/views/application/_definitions.html.slim | |
|
|
| app/views/application/_markdown_help.html.slim | |
|
|
| app/views/application/errata.html.slim | |
|
|
| app/views/application/help.html.slim | |
|
|
| app/views/application/root.html.slim | |
|
|
| app/views/application/unproven.html.slim | |
|
|
| app/views/check_mailer/report.html.slim | |
|
|
| app/views/check_mailer/report.text.slim | |
|
|
| app/views/devise/passwords/edit.html.slim | |
|
|
| app/views/devise/passwords/new.html.slim | |
|
|
| app/views/devise/registrations/edit.html.slim | |
|
|
| app/views/devise/registrations/new.html.slim | |
|
|
| app/views/devise/sessions/new.html.slim | |
|
|
| app/views/formulae/search.html.slim | |
|
|
| app/views/layouts/application.html.slim | |
|
|
| app/views/objects/_description.html.slim | |
|
|
| app/views/properties/_form.html.slim | |
|
|
| app/views/properties/edit.html.slim | |
|
|
| app/views/properties/index.html.slim | |
|
|
| app/views/properties/new.html.slim | |
|
|
| app/views/properties/show.html.slim | |
|
|
| app/views/spaces/_form.html.slim | |
|
|
| app/views/spaces/edit.html.slim | |
|
|
| app/views/spaces/index.html.slim | |
|
|
| app/views/spaces/new.html.slim | |
|
|
| app/views/spaces/proofs.html.slim | |
|
|
| app/views/spaces/show.html.slim | |
|
|
| app/views/theorems/edit.html.slim | |
|
|
| app/views/theorems/index.html.slim | |
|
|
| app/views/theorems/new.html.slim | |
|
|
| app/views/theorems/show.html.slim | |
|
|
| app/views/traits/_proof.html.slim | |
|
|
| app/views/traits/edit.html.slim | |
|
|
| app/views/traits/index.html.slim | |
|
|
| app/views/traits/new.html.slim | |
|
|
| app/views/traits/show.html.slim | |
|
|
| app/views/users/show.html.slim | |
|
|
| bin/bundle | |
|
|
| bin/rails | |
|
|
| bin/rake | |
|
|
| bin/rspec | |
|
|
| bin/setup | |
|
|
| bin/spring | |
|
|
| config.ru | |
|
|
| counterexamples.csv | |
|
|