profile picture

Patrick Stevens

© Patrick Stevens 2021
  • About Me
  • About This Site
  • Film List
  • Home
  • Lifehacks
  • Posts
  • Reading List
  • Top Posts
    2018
      Dependent types overview
      Jul 21
    2017
      Proof of Cauchy-Schwarz
      Feb 14