A simple experimental solver based on sequent calculus, made for academic purposes
Primary LanguageOCaml