tarskigrothendieck
T his channel has some of the videos that were part of the mathgate.info Bitcoin Theorem Proving Treasure Hunt of 2014. They might be of interest to people who want to learn about formal mathematics or theorem proving.