I had a long boring meeting. I decided it was time to grow up and learn a little...

		1-more 77 days ago \| parent \| context \| favorite \| on: Ask HN: What did you find out or explore today? I had a long boring meeting. I decided it was time to grow up and learn a little Lean. Let's do formal methods. Let's be serious, you know? It's pretty cool!