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!

Skip to content
# Tag: Coq

## Stephan’s Unusual Hobby

Maths and Code

What an interesting hobby!