Super HN

   Slaughtering Competition Problems with Quantifier Elimination (grossack.site) 3 points by todsacerdoti 30 minutes ago