Probability Prover

一种旨在通过互动示例和解释帮助用户理解和证明概率概念的人工智能工具。