CoqYayu Wang included in Coq 2024-01-14 3 words One minute Contents TheoremTutorialTheoremTutorialhttp://michaeldnahas.com/doc/nahas_tutorial