4 ms·

I really like Metamath, but I also appreciate Coq for different reasons. I think it's important that each learn from others.