FormalScience: Scalable Human-in-the-Loop Autoformalisation of Science with Agentic Code Generation in Lean — Jordan Meadows, Lan Zhang, Andre Freitas | Kutubxona