https://github.com/ccnmtl/logiclearner

Logic Learner is an online learning tool that helps computer science, engineering, and mathematics students improve their fluency and problem solving process in writing proofs for propositional logic.
https://github.com/ccnmtl/logiclearner

Last synced: about 2 months ago
JSON representation

Logic Learner is an online learning tool that helps computer science, engineering, and mathematics students improve their fluency and problem solving process in writing proofs for propositional logic.

• Host: GitHub
• URL: https://github.com/ccnmtl/logiclearner
• Owner: ccnmtl
• License: gpl-3.0
• Created: 2021-09-14T19:03:56.000Z (over 3 years ago)
• Default Branch: main
• Last Pushed: 2024-04-12T14:12:13.000Z (about 1 year ago)
• Last Synced: 2024-04-13T09:01:17.596Z (about 1 year ago)
• Language: TypeScript
• Homepage: https://logiclearner.ctl.columbia.edu/
• Size: 6.35 MB
• Stars: 4
• Watchers: 8
• Forks: 1
• Open Issues: 2
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# Logic Learner

[![Actions Status](https://github.com/ccnmtl/logiclearner/workflows/build-and-test/badge.svg)](https://github.com/ccnmtl/logiclearner/actions)

Logic Learner is an online learning tool that helps computer science, engineering, and mathematics students improve their fluency and problem solving process in writing proofs for propositional logic.

## Logic Learner Tools

Logic Learner makes use of Logic Learner Tools for the feedback portion of the application. Logic Learner Tools provides detection of syntax errors, propositional laws errors, and statement errors.

Logic Learner Tools is found here: https://pypi.org/project/logiclearnertools/

## Configuration

1. Clone

    git clone https://github.com/ccnmtl/logiclearner.git

    

    cd logiclearner

2. Create the database

   For Postgres:

     * Create a database user/password (if needed)

     * Create the database `createdb logiclearner`

3. Customize settings

    * Create a local_settings.py file in the `logiclearner` subdirectory OR

    * Copy `logiclearner/settings_shared.py` to `logiclearner/local_settings.py`

    * Then, override the variables from `settings_shared.py` that you need to customize for your local installation.

      * Customize your `DATABASES` dictionary

        * e.g. set NAME, HOST, USER, and PASSWORD. remove PORT (unless it's non-standard)

4. Build the virtual environment

   `make` will build the virtualenv

5. Migrate the database

   `./manage.py migrate`

6. Run

    

    Use `make dev` This is equivalent to running Django's ./manage.py runserver in one shell and Webpack in another. The output from both will be printed to the shell. Use CTR-C to exit.

    

    To test, use `make all` This is what Travis and Jenkins runs to build the project.