This README would normally document whatever steps are necessary to get the application up and running.
Things you may want to cover:
- Ruby version
=============
-
System dependencies
-
Configuration
-
Database creation
-
Database initialization
-
How to run the test suite
-
Services (job queues, cache servers, search engines, etc.)
-
Deployment instructions
-
...
=============
Make sure you have rake file, then rake db:migrate then rake db:seed
For tutorial on ERB, go to: http://www.xyzpub.com/en/ruby-on-rails/3.2/dynamische_webseiten.html and skip down to the section Programming in an erb File
============= Prover9 Mace4 (LADR) Manual https://www.cs.unm.edu/~mccune/mace4/manual/2009-11A/
Demo of Website Rails: https://logic-daemon.herokuapp.com/logic/daemon
*** Download from here: https://www.cs.unm.edu/~mccune/mace4/download/ *** Untar file: tar -zxvf filename.tar.gz *** Move to folder called filename *** Use command: make all