Website for managing Coq fights
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
bantam-service
bin
framework
lib
.gitignore
.gitmodules
.travis.yml
LICENSE
README.md

README.md

Bantam

Build Status

  1. small or miniature chickens or ducks

  2. a weight class in boxing and mixed martial arts

https://en.wikipedia.org/wiki/Bantam

coq

Website for managing Coq fights

Store

/current
  - {fight}

/user/{user}/password

/session/{session}
  - {user}

/fight/{fight}/lemma/{lemma}

/fight/{fight}/fighter/{user}/lemma/{lemma}

/fight/{fight}/fighter/{user}/inbox/{lemma}

/fight/{fight}/review/{lemma}/{user}

/fight/{fight}/matches

Matches format

The matches file has the following (horrible) format.

player1|player2|game results|current lemma|upcoming lemmas

An example:

player1@foo.com|player2@bar.com|lemma1:D,lemma2:W1|lemma3|lemma4,lemma5
player2@foo.com|player3@bar.com||||lemma6,lemma7
  • D is a draw
  • W1 is a win for the first player
  • W2 is a win for the second player