Post Content Post navigation Prover Agent: An Agent-based Framework for Formal Mathematical Proofs An experimental proxy of water displaceability for ligand discovery