feat: Take advantage of the coq-native package (CEP 048, item 3)#1835

Merged

palmskog merged 1 commit intocoq:masterfrom erikmd:use-coq-native

Oct 13, 2021

+10-10

Commits on Sep 28, 2021

feat: Take advantage of the coq-native package (CEP 048, item 3)
erikmd
committed