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!
Maths and Code
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!