New example with comments: ho_equalities, written in Ltac, Ltac2 and coq-elpi#21
Open
louiseddp wants to merge 9 commits intorocq-community:mainfrom
Open
New example with comments: ho_equalities, written in Ltac, Ltac2 and coq-elpi#21louiseddp wants to merge 9 commits intorocq-community:mainfrom
louiseddp wants to merge 9 commits intorocq-community:mainfrom
