Welcome to Hip Hop Pow

Hip Hop, probability and mathematical proof.
New AI replaces probability with SMT LIB proof.