Code - jamesdabbs/pi-base

Branch: master(View all)

Name	Lines of code	Maintainability	Test coverage
public/robots.txt
app/views/theorems/show.html.slim
app/views/theorems/new.html.slim
config.ru
app/views/layouts/application.html.slim
app/views/properties/show.html.slim
app/views/application/_markdown_help.html.slim
app/views/traits/_proof.html.slim
bin/rake
.gitignore
public/404.html
app/views/properties/index.html.slim
app/views/application/unproven.html.slim
app/views/application/help.html.slim
app/views/traits/index.html.slim
.travis.yml
bin/bundle
app/views/users/show.html.slim
app/views/application/errata.html.slim
app/views/check_mailer/report.text.slim
app/views/spaces/_form.html.slim
app/views/check_mailer/report.html.slim
app/views/devise/registrations/edit.html.slim
bin/rspec
lib/tasks/legacy.thor
bin/setup
counterexamples.csv
Gemfile.lock
app/views/devise/passwords/new.html.slim
README.md
LICENSE.md
app/assets/javascripts/formula_typeahead.js.coffee
lib/tasks/check.rake
app/views/formulae/search.html.slim
lib/tasks/search.rake
app/views/traits/edit.html.slim
app/views/objects/_description.html.slim
Rakefile
bin/spring
bin/rails
app/views/properties/_form.html.slim
lib/tasks/index.rake
lib/tasks/coverage.rake
app/views/spaces/index.html.slim
app/views/application/_definitions.html.slim
public/500.html
app/assets/javascripts/trait_table.js.coffee
app/views/theorems/edit.html.slim
.rspec
public/favicon.ico