GitHub - markezorvaldez/proofer: Proof Assistant for Natural Deduction

markezorvaldez / proofer Public

Notifications You must be signed in to change notification settings
Fork 0
Star 1

Proof Assistant for Natural Deduction

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 42 Commits
mysite		mysite
proofer		proofer
.gitignore		.gitignore
.setup.sh.swp		.setup.sh.swp
manage.py		manage.py
readme.txt		readme.txt
requirements.txt		requirements.txt
setup.sh		setup.sh

Repository files navigation

When executing for the first time, run "./setup.sh" to install virtualenv, activating virtualenv, installing dependencies, and migrating database.

Activate virtualenv by running "source myvenv/bin/activate"

To run the server, run "python manage.py runserver"