undefined | Better HN

0 pointstom_mellior7y ago0 comments

Out of interest, what about this tutorial do you find better than (which?) Coq tutorials?

I think Lean might be the better technology, but I don't think this tutorial is better than Software Foundations. I can't see beginners not being turned off by boring discussions of hierarchies of universes before the first real proofs to get you hooked.

0 comments

benwr7y ago

This tutorial starts by explaining how things work, and only later shows you magic. That's exactly what I like about it, actually. Almost every coq tutorial I found (I tried software foundations, cpdt, and several shorter online tutorials) fails to explain what you're doing before you do it.

tom_melliorOP7y ago

Fair enough. That's not my preferred approach to tutorials, but tastes differ. Thanks.

j / k navigate · click thread line to collapse

0 pointstom_mellior7y ago0 comments

Out of interest, what about this tutorial do you find better than (which?) Coq tutorials?

0 comments

benwr7y ago

tom_melliorOP7y ago

Fair enough. That's not my preferred approach to tutorials, but tastes differ. Thanks.

j / k navigate · click thread line to collapse