| public/robots.txt | |
|
|
| public/favicon.ico | |
|
|
| public/500.html | |
|
|
| public/422.html | |
|
|
| public/404.html | |
|
|
| lib/tasks/search.rake | |
|
|
| lib/tasks/legacy.thor | |
|
|
| lib/tasks/index.rake | |
|
|
| lib/tasks/coverage.rake | |
|
|
| lib/tasks/check.rake | |
|
|
| lib/method_caching.rb | 16 | A 0 mins |
|
| lib/importer/mapper.rb | 13 | A 0 mins |
|
| lib/importer/buffer.rb | 21 | A 0 mins |
|
| lib/importer.rb | 133 | B 5 hrs |
|
| counterexamples.csv | |
|
|
| config.ru | |
|
|
| bin/spring | |
|
|
| bin/setup | |
|
|
| bin/rspec | |
|
|
| bin/rake | |
|
|
| bin/rails | |
|
|
| bin/bundle | |
|
|
| app/views/users/show.html.slim | |
|
|
| app/views/traits/show.html.slim | |
|
|
| app/views/traits/new.html.slim | |
|
|
| app/views/traits/index.html.slim | |
|
|
| app/views/traits/edit.html.slim | |
|
|
| app/views/traits/_proof.html.slim | |
|
|
| app/views/theorems/show.html.slim | |
|
|
| app/views/theorems/new.html.slim | |
|
|
| app/views/theorems/index.html.slim | |
|
|
| app/views/theorems/edit.html.slim | |
|
|
| app/views/spaces/show.html.slim | |
|
|
| app/views/spaces/proofs.html.slim | |
|
|
| app/views/spaces/new.html.slim | |
|
|
| app/views/spaces/index.html.slim | |
|
|
| app/views/spaces/edit.html.slim | |
|
|
| app/views/spaces/_form.html.slim | |
|
|
| app/views/properties/show.html.slim | |
|
|
| app/views/properties/new.html.slim | |
|
|
| app/views/properties/index.html.slim | |
|
|
| app/views/properties/edit.html.slim | |
|
|
| app/views/properties/_form.html.slim | |
|
|
| app/views/objects/_description.html.slim | |
|
|
| app/views/layouts/application.html.slim | |
|
|
| app/views/formulae/search.html.slim | |
|
|
| app/views/devise/sessions/new.html.slim | |
|
|
| app/views/devise/registrations/new.html.slim | |
|
|
| app/views/devise/registrations/edit.html.slim | |
|
|
| app/views/devise/passwords/new.html.slim | |
|
|