Geeks
charleso
/
bantam
Website for managing Coq fights
Primary Language
Haskell
The Unlicense
Unlicense
bantam GitHub
Markdown
Readme
0
Issues
5
Stargazers
4
Watchers
Stargazers
ichistmeinname
@Cap3
juanbono
@lambdaclass
justanotherdot
@heydovetail
puffnfresh
Atlassian
SimonRichardson
@juju