Questions How does one compute/create a concrete/actual string in coq to pass to functions or store in a variable/identifier? byMRJuly 27, 2022
