A Social System of Proofs

Yareka is a social media design that incorporates rigorous proofs into the social media experience.