Gentactic hide that the underlying implem is genarg based#21568

coqbot-app[bot] merged 4 commits intorocq-prover:masterrocq-prover/rocq:masterfrom

SkySkimmer:gentac-upSkySkimmer/rocq:gentac-upCopy head branch name to clipboard