Welcome to Hip Hop Pow

Since 2007

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