├── .gitignore ├── LICENSE ├── MANIFEST.in ├── README ├── TODO ├── cockerel ├── __init__.py ├── auth │ ├── __init__.py │ ├── permissions.py │ ├── security.py │ └── util.py ├── forms │ ├── __init__.py │ ├── admin.py │ ├── classes.py │ └── lessons.py ├── models │ ├── __init__.py │ └── schema.py ├── utilities │ ├── __init__.py │ └── base.py └── webapp │ ├── __init__.py │ ├── admin │ ├── __init__.py │ ├── admin.py │ └── templates │ │ ├── login.html │ │ └── signup.html │ ├── classes │ ├── __init__.py │ ├── classes.py │ └── templates │ │ ├── add.html │ │ ├── index.html │ │ └── view.html │ ├── frontend.py │ ├── lessons │ ├── __init__.py │ ├── lessons.py │ └── templates │ │ ├── add.html │ │ ├── edit.html │ │ └── view.html │ ├── prover │ ├── __init__.py │ ├── mdx_prover.py │ ├── prover.py │ └── templates │ │ └── prover.html │ ├── static │ ├── cockerel.js │ ├── jquery-1.4.2.js │ ├── parsecoq.js │ ├── site.css │ └── tokenizecoq.js │ └── templates │ ├── base.html │ └── util │ ├── forms.html │ ├── sidebar.html │ └── user_actions.html ├── coqd ├── __init__.py ├── base.py ├── connserv.py ├── coqext │ ├── hypreason │ │ ├── Hein_samples.v │ │ ├── HypError.v │ │ ├── HypLemmas.v │ │ ├── HypNotation.v │ │ ├── HypReason.v │ │ ├── HypTactics.v │ │ ├── configure │ │ └── tactic_tests.v │ └── json.ml ├── interp.py ├── parser │ ├── __init__.py │ ├── gram.py │ └── lexer.py ├── runner.py └── test.py ├── docs ├── Makefile ├── cockerel │ └── index.rst ├── conf.py ├── coqd │ └── index.rst ├── index.rst └── make.bat ├── manager.py ├── pavement.py ├── setup.cfg ├── setup.py ├── stdeb.cfg └── tests ├── __init__.py ├── fixtures ├── __init__.py └── general.py ├── functional ├── __init__.py ├── alfajor.ini ├── test_home.py ├── test_login.py ├── test_prover.py └── test_signup.py ├── pages ├── __init__.py ├── admin.py ├── base.py └── prover.py ├── test_parser.py └── unittest └── __init__.py /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcolish/Cockerel/HEAD/.gitignore -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcolish/Cockerel/HEAD/LICENSE -------------------------------------------------------------------------------- /MANIFEST.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcolish/Cockerel/HEAD/MANIFEST.in -------------------------------------------------------------------------------- /README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcolish/Cockerel/HEAD/README -------------------------------------------------------------------------------- /TODO: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcolish/Cockerel/HEAD/TODO -------------------------------------------------------------------------------- /cockerel/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcolish/Cockerel/HEAD/cockerel/__init__.py -------------------------------------------------------------------------------- /cockerel/auth/__init__.py: -------------------------------------------------------------------------------- 1 | from util import login_required, permissions 2 | -------------------------------------------------------------------------------- /cockerel/auth/permissions.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcolish/Cockerel/HEAD/cockerel/auth/permissions.py -------------------------------------------------------------------------------- /cockerel/auth/security.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcolish/Cockerel/HEAD/cockerel/auth/security.py -------------------------------------------------------------------------------- /cockerel/auth/util.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcolish/Cockerel/HEAD/cockerel/auth/util.py -------------------------------------------------------------------------------- /cockerel/forms/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcolish/Cockerel/HEAD/cockerel/forms/__init__.py -------------------------------------------------------------------------------- /cockerel/forms/admin.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcolish/Cockerel/HEAD/cockerel/forms/admin.py -------------------------------------------------------------------------------- /cockerel/forms/classes.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcolish/Cockerel/HEAD/cockerel/forms/classes.py -------------------------------------------------------------------------------- /cockerel/forms/lessons.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcolish/Cockerel/HEAD/cockerel/forms/lessons.py -------------------------------------------------------------------------------- /cockerel/models/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcolish/Cockerel/HEAD/cockerel/models/__init__.py -------------------------------------------------------------------------------- /cockerel/models/schema.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcolish/Cockerel/HEAD/cockerel/models/schema.py -------------------------------------------------------------------------------- /cockerel/utilities/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcolish/Cockerel/HEAD/cockerel/utilities/__init__.py -------------------------------------------------------------------------------- /cockerel/utilities/base.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcolish/Cockerel/HEAD/cockerel/utilities/base.py -------------------------------------------------------------------------------- /cockerel/webapp/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcolish/Cockerel/HEAD/cockerel/webapp/__init__.py -------------------------------------------------------------------------------- /cockerel/webapp/admin/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcolish/Cockerel/HEAD/cockerel/webapp/admin/__init__.py -------------------------------------------------------------------------------- /cockerel/webapp/admin/admin.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcolish/Cockerel/HEAD/cockerel/webapp/admin/admin.py -------------------------------------------------------------------------------- /cockerel/webapp/admin/templates/login.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcolish/Cockerel/HEAD/cockerel/webapp/admin/templates/login.html -------------------------------------------------------------------------------- /cockerel/webapp/admin/templates/signup.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcolish/Cockerel/HEAD/cockerel/webapp/admin/templates/signup.html -------------------------------------------------------------------------------- /cockerel/webapp/classes/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcolish/Cockerel/HEAD/cockerel/webapp/classes/__init__.py -------------------------------------------------------------------------------- /cockerel/webapp/classes/classes.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcolish/Cockerel/HEAD/cockerel/webapp/classes/classes.py -------------------------------------------------------------------------------- /cockerel/webapp/classes/templates/add.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcolish/Cockerel/HEAD/cockerel/webapp/classes/templates/add.html -------------------------------------------------------------------------------- /cockerel/webapp/classes/templates/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcolish/Cockerel/HEAD/cockerel/webapp/classes/templates/index.html -------------------------------------------------------------------------------- /cockerel/webapp/classes/templates/view.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcolish/Cockerel/HEAD/cockerel/webapp/classes/templates/view.html -------------------------------------------------------------------------------- /cockerel/webapp/frontend.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcolish/Cockerel/HEAD/cockerel/webapp/frontend.py -------------------------------------------------------------------------------- /cockerel/webapp/lessons/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcolish/Cockerel/HEAD/cockerel/webapp/lessons/__init__.py -------------------------------------------------------------------------------- /cockerel/webapp/lessons/lessons.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcolish/Cockerel/HEAD/cockerel/webapp/lessons/lessons.py -------------------------------------------------------------------------------- /cockerel/webapp/lessons/templates/add.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcolish/Cockerel/HEAD/cockerel/webapp/lessons/templates/add.html -------------------------------------------------------------------------------- /cockerel/webapp/lessons/templates/edit.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcolish/Cockerel/HEAD/cockerel/webapp/lessons/templates/edit.html -------------------------------------------------------------------------------- /cockerel/webapp/lessons/templates/view.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcolish/Cockerel/HEAD/cockerel/webapp/lessons/templates/view.html -------------------------------------------------------------------------------- /cockerel/webapp/prover/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcolish/Cockerel/HEAD/cockerel/webapp/prover/__init__.py -------------------------------------------------------------------------------- /cockerel/webapp/prover/mdx_prover.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcolish/Cockerel/HEAD/cockerel/webapp/prover/mdx_prover.py -------------------------------------------------------------------------------- /cockerel/webapp/prover/prover.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcolish/Cockerel/HEAD/cockerel/webapp/prover/prover.py -------------------------------------------------------------------------------- /cockerel/webapp/prover/templates/prover.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcolish/Cockerel/HEAD/cockerel/webapp/prover/templates/prover.html -------------------------------------------------------------------------------- /cockerel/webapp/static/cockerel.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcolish/Cockerel/HEAD/cockerel/webapp/static/cockerel.js -------------------------------------------------------------------------------- /cockerel/webapp/static/jquery-1.4.2.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcolish/Cockerel/HEAD/cockerel/webapp/static/jquery-1.4.2.js -------------------------------------------------------------------------------- /cockerel/webapp/static/parsecoq.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcolish/Cockerel/HEAD/cockerel/webapp/static/parsecoq.js -------------------------------------------------------------------------------- /cockerel/webapp/static/site.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcolish/Cockerel/HEAD/cockerel/webapp/static/site.css -------------------------------------------------------------------------------- /cockerel/webapp/static/tokenizecoq.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcolish/Cockerel/HEAD/cockerel/webapp/static/tokenizecoq.js -------------------------------------------------------------------------------- /cockerel/webapp/templates/base.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcolish/Cockerel/HEAD/cockerel/webapp/templates/base.html -------------------------------------------------------------------------------- /cockerel/webapp/templates/util/forms.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcolish/Cockerel/HEAD/cockerel/webapp/templates/util/forms.html -------------------------------------------------------------------------------- /cockerel/webapp/templates/util/sidebar.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcolish/Cockerel/HEAD/cockerel/webapp/templates/util/sidebar.html -------------------------------------------------------------------------------- /cockerel/webapp/templates/util/user_actions.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcolish/Cockerel/HEAD/cockerel/webapp/templates/util/user_actions.html -------------------------------------------------------------------------------- /coqd/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcolish/Cockerel/HEAD/coqd/__init__.py -------------------------------------------------------------------------------- /coqd/base.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcolish/Cockerel/HEAD/coqd/base.py -------------------------------------------------------------------------------- /coqd/connserv.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcolish/Cockerel/HEAD/coqd/connserv.py -------------------------------------------------------------------------------- /coqd/coqext/hypreason/Hein_samples.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcolish/Cockerel/HEAD/coqd/coqext/hypreason/Hein_samples.v -------------------------------------------------------------------------------- /coqd/coqext/hypreason/HypError.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcolish/Cockerel/HEAD/coqd/coqext/hypreason/HypError.v -------------------------------------------------------------------------------- /coqd/coqext/hypreason/HypLemmas.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcolish/Cockerel/HEAD/coqd/coqext/hypreason/HypLemmas.v -------------------------------------------------------------------------------- /coqd/coqext/hypreason/HypNotation.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcolish/Cockerel/HEAD/coqd/coqext/hypreason/HypNotation.v -------------------------------------------------------------------------------- /coqd/coqext/hypreason/HypReason.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcolish/Cockerel/HEAD/coqd/coqext/hypreason/HypReason.v -------------------------------------------------------------------------------- /coqd/coqext/hypreason/HypTactics.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcolish/Cockerel/HEAD/coqd/coqext/hypreason/HypTactics.v -------------------------------------------------------------------------------- /coqd/coqext/hypreason/configure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcolish/Cockerel/HEAD/coqd/coqext/hypreason/configure -------------------------------------------------------------------------------- /coqd/coqext/hypreason/tactic_tests.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcolish/Cockerel/HEAD/coqd/coqext/hypreason/tactic_tests.v -------------------------------------------------------------------------------- /coqd/coqext/json.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcolish/Cockerel/HEAD/coqd/coqext/json.ml -------------------------------------------------------------------------------- /coqd/interp.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcolish/Cockerel/HEAD/coqd/interp.py -------------------------------------------------------------------------------- /coqd/parser/__init__.py: -------------------------------------------------------------------------------- 1 | # 2 | -------------------------------------------------------------------------------- /coqd/parser/gram.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcolish/Cockerel/HEAD/coqd/parser/gram.py -------------------------------------------------------------------------------- /coqd/parser/lexer.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcolish/Cockerel/HEAD/coqd/parser/lexer.py -------------------------------------------------------------------------------- /coqd/runner.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcolish/Cockerel/HEAD/coqd/runner.py -------------------------------------------------------------------------------- /coqd/test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcolish/Cockerel/HEAD/coqd/test.py -------------------------------------------------------------------------------- /docs/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcolish/Cockerel/HEAD/docs/Makefile -------------------------------------------------------------------------------- /docs/cockerel/index.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcolish/Cockerel/HEAD/docs/cockerel/index.rst -------------------------------------------------------------------------------- /docs/conf.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcolish/Cockerel/HEAD/docs/conf.py -------------------------------------------------------------------------------- /docs/coqd/index.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcolish/Cockerel/HEAD/docs/coqd/index.rst -------------------------------------------------------------------------------- /docs/index.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcolish/Cockerel/HEAD/docs/index.rst -------------------------------------------------------------------------------- /docs/make.bat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcolish/Cockerel/HEAD/docs/make.bat -------------------------------------------------------------------------------- /manager.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcolish/Cockerel/HEAD/manager.py -------------------------------------------------------------------------------- /pavement.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcolish/Cockerel/HEAD/pavement.py -------------------------------------------------------------------------------- /setup.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcolish/Cockerel/HEAD/setup.cfg -------------------------------------------------------------------------------- /setup.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcolish/Cockerel/HEAD/setup.py -------------------------------------------------------------------------------- /stdeb.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcolish/Cockerel/HEAD/stdeb.cfg -------------------------------------------------------------------------------- /tests/__init__.py: -------------------------------------------------------------------------------- 1 | # 2 | -------------------------------------------------------------------------------- /tests/fixtures/__init__.py: -------------------------------------------------------------------------------- 1 | # 2 | -------------------------------------------------------------------------------- /tests/fixtures/general.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcolish/Cockerel/HEAD/tests/fixtures/general.py -------------------------------------------------------------------------------- /tests/functional/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcolish/Cockerel/HEAD/tests/functional/__init__.py -------------------------------------------------------------------------------- /tests/functional/alfajor.ini: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcolish/Cockerel/HEAD/tests/functional/alfajor.ini -------------------------------------------------------------------------------- /tests/functional/test_home.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcolish/Cockerel/HEAD/tests/functional/test_home.py -------------------------------------------------------------------------------- /tests/functional/test_login.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcolish/Cockerel/HEAD/tests/functional/test_login.py -------------------------------------------------------------------------------- /tests/functional/test_prover.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcolish/Cockerel/HEAD/tests/functional/test_prover.py -------------------------------------------------------------------------------- /tests/functional/test_signup.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcolish/Cockerel/HEAD/tests/functional/test_signup.py -------------------------------------------------------------------------------- /tests/pages/__init__.py: -------------------------------------------------------------------------------- 1 | # 2 | -------------------------------------------------------------------------------- /tests/pages/admin.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcolish/Cockerel/HEAD/tests/pages/admin.py -------------------------------------------------------------------------------- /tests/pages/base.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcolish/Cockerel/HEAD/tests/pages/base.py -------------------------------------------------------------------------------- /tests/pages/prover.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcolish/Cockerel/HEAD/tests/pages/prover.py -------------------------------------------------------------------------------- /tests/test_parser.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcolish/Cockerel/HEAD/tests/test_parser.py -------------------------------------------------------------------------------- /tests/unittest/__init__.py: -------------------------------------------------------------------------------- 1 | from alfajor import APIClient 2 | --------------------------------------------------------------------------------