Metatheory: add quantifications to formalization of builtin signatures#7801
Draft
ana-pantilie wants to merge 2 commits into
Draft
Metatheory: add quantifications to formalization of builtin signatures#7801ana-pantilie wants to merge 2 commits into
ana-pantilie wants to merge 2 commits into