Closed JasonGross closed 1 year ago
This will allow programatically combining checker flags from multiple constants in Gallina quotation.
This will allow programatically combining checker flags from multiple constants in Gallina quotation.