#include <string>
#include "Miniscope.hpp"
#include "Formula.hpp"
#include "Sort.hpp"
#include "Substitution.hpp"
#include "Inference.hpp"