KalkulierbaR API Server

Available calculus endpoints:
prop-tableaux
prop-resolution
fo-tableaux
fo-resolution
dpll
nc-tableaux
prop-sequent
fo-sequent
signed-modal-tableaux