4 ms·

I was hoping this was going to be about education;anyone have tips or links on using coq to get better at math proofs?