from flask_wtf import Form
from wtforms import StringField, BooleanField
from wtforms.validators import DataRequired

class LoginForm(Form):
    openid = StringField('openid', validators=[DataRequired()])
    remember_me = BooleanField('remember_me', default=False)


class FormulaForm(Form):
    premise = StringField('Premise', validators=[DataRequired()])
    conclusion = StringField('Conclusion', validators=[DataRequired()])
    another_premise = BooleanField('Another premise?', default=False)

