An Augmented MetiTarski Dataset for Real Quantifier Elimination using Machine Learning
Primary LanguageOCamlCreative Commons Attribution Share Alike 4.0 InternationalCC-BY-SA-4.0