PROOFS@BiCi: Efficient Probabilistic Proofs