Coq 8.11.0 released, featuring new Ltac2 tactic languagegithub.com/coq1 pointTheAsprngHacker6 years ago