MiniF2F-Test — Web Pulse coverage

Pythagoras-Prover: Advancing Efficient Formal Proving via Augmented Lean Formalisation :: https://wpnews.pro/news/pythagoras-prover-advancing-efficient-formal-proving-via-augmented-lean