Skip to content

Quant/Dev

Maths and Code

Stephan’s Unusual Hobby

Stephan Boyer is an engineer at AirBnb, and when he gets home from work he likes to prove theorems in the Coq Proof Assistant. It seems like a great way to become intimately familiar with a mathematical proof!
What an interesting hobby!

Author brettPosted on March 15, 2018Categories MathematicsTags Coq, General, Maths, Theorem Proof

Post navigation

Previous Previous post: Pandas Quick-Start
Next Next post: Benchmarked Pandas Cheat Sheet

Recent Posts

  • Uber Pyro
  • Logging in Large Math Models
  • Benchmarked Pandas Cheat Sheet
  • Stephan’s Unusual Hobby
  • Pandas Quick-Start

Recent Comments

    Archives

    • April 2018
    • March 2018

    Categories

    • Forums
    • General
    • Jupyter
    • LaTeX / TeX
    • Mathematics
    • Programming
    • Python
    • Statistics
    • Time Series

    Meta

    • Log in
    • Entries RSS
    • Comments RSS
    • WordPress.org
    Quant/Dev Proudly powered by WordPress