QED-Nano: Teaching a Tiny Model to Prove Hard Theorems - a Hugging Face Space by lm-provers